Cantitate/Preț
Produs
Total produse
Vezi coșul
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen de Jürgen Avenhaus

Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen: Springer-Lehrbuch

Autor Jürgen Avenhaus
de Limba Germană Paperback – 6 mar 1995

Din seria Springer-Lehrbuch

  • Wirtschaftspsychologie für Bachelor
    Preț: 28599 lei
  • Lernskript Psychologie
    Preț: 33635 lei
  • 5% Innere Medizin...in 5 Tagen
    Preț: 37953 lei
  • 5% Basiswissen Allgemeinmedizin
    Preț: 41364 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 68709 lei
  • 5% Biologie für Mediziner
    Preț: 27888 lei
  • 5% Neurologie
    Preț: 82071 lei
  • 5% Chemie für Mediziner
    Preț: 37395 lei
  • Anthropologie
    Preț: 46791 lei
  • 5% Basiswissen Biochemie
    Preț: 52759 lei
  • Psychologische Diagnostik
    Preț: 56502 lei
  • 5% Basiswissen Chirurgie
    Preț: 36759 lei
  • 5% Medizinische Mikrobiologie und Infektiologie
    Preț: 53307 lei
  • Lehrbuch der Sozialpolitik
    Preț: 32402 lei
  • 5% Augenheilkunde
    Preț: 45716 lei
  • 5% Allgemeine und Spezielle Pathologie
    Preț: 59752 lei
  • 5% Anästhesie, Intensivmedizin, Notfallmedizin, Schmerztherapie
    Preț: 48760 lei
  • 5% Urologie
    Preț: 51654 lei
  • Experimentalphysik 2: Elektrizität und Optik
    Preț: 39051 lei
  • Lineare Algebra
    Preț: 25996 lei
  • Grundkurs Theoretische Physik 3
    Preț: 49336 lei
  • 5% Chirurgie: mit integriertem Fallquiz - 40 Fälle nach neuer AO
    Preț: 71964 lei
  • 5% Lunge und Atemwege
    Preț: 38225 lei
  • Denken - Urteilen, Entscheiden und Problemlösen
    Preț: 28063 lei
  • 5% Hals-Nasen-Ohren-Heilkunde
    Preț: 39485 lei
  • 5% Klinische Psychologie & Psychotherapie
    Preț: 55892 lei
  • 5% Basiswissen Pädiatrie
    Preț: 35139 lei
  • Das gesamte examensrelevante Zivilrecht
    Preț: 60891 lei
  • 5% Orthopädie Unfallchirurgie
    Preț: 38436 lei
  • 5% Klinische Psychologie und Psychotherapie für Bachelor
    Preț: 22016 lei
  • Sportpsychologie
    Preț: 49658 lei
  • Europäisches Arbeitsrecht: Mit zahlreichen Beispielsfällen aus der Rechtsprechung des EuGH
    Preț: 27549 lei
  • 5% Basiswissen Humangenetik
    Preț: 29555 lei
  • Mineralogie
    Preț: 50695 lei
  • Atlas der Anatomie des Menschen
    Preț: 46560 lei
  • Lehrbuch der Technischen Mechanik - Band 1: Starrkörperstatik
    Preț: 42129 lei
  • 5% Basic Skills PJ
    Preț: 20909 lei
  • Grundkurs Theoretische Physik 2: Analytische Mechanik
    Preț: 27495 lei
  • 5% Poster Stoffwechsel
    Preț: 4898 lei
  • 5% Psychiatrie
    Preț: 43601 lei
  • Botanisches Grundpraktikum
    Preț: 34645 lei
  • 5% Physiologie des Menschen
    Preț: 63565 lei
  • 11% Elementare Teilchen: Von den Atomen über das Standard-Modell bis zum Higgs-Boson
    Preț: 45372 lei
  • 5% Arbeitsmedizin
    Preț: 33341 lei
  • 5% PathoMaps
    Preț: 26905 lei
  • Forschungsmethoden und Evaluation in den Sozial- und Humanwissenschaften
    Preț: 58690 lei
  • Hormone und Hormonsystem - Lehrbuch der Endokrinologie
    Preț: 35467 lei
  • Grundkurs Theoretische Physik 6: Statistische Physik
    Preț: 46483 lei
  • 5% Anatomie
    Preț: 65488 lei
  • Grundlagen der Mikrobiologie
    Preț: 35520 lei

Preț: 40020 lei

Preț vechi: 50025 lei
-20%

Puncte Express: 600
Preț estimativ în valută:
7077€ • 8305$ • 6139£

Carte tipărită la comandă

Livrare economică 09-23 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540585596
ISBN-10: 3540585591
Pagini: 264
Ilustrații: X, 251 S. 5 Abb.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

0 Einleitung.- 0.1 Motivation.- 0.2 Termersetzungssysteme und abstrakte Datentypen.- 1 Abstrakte Reduktionssysteme.- 1.1 Definitionen und erste Ergebnisse.- 1.2 Konfluenz und die Church-Rosser-Eigenschaft.- 1.3 Konstruktion von Noetherschen Partialordnungen.- 1.4 Konstruktion von konvergenten Reduktionssystemen.- 2 Wortersetzungssysteme.- 2.1 Motivation.- 2.2 Termination und Konfluenz.- 2.3 Die Vervollständigung nach Knuth-Bendix.- 2.4 Entscheidbarkeitsfragen.- 3 Termersetzungssysteme.- 3.1 Motivation.- 3.2 Spezifikation von Datentypen.- 3.3 Termersetzungssysteme.- 3.4 Matching und Unifikation.- 3.5 Konfluenz und Termination.- 3.6 Die Vervollständigung nach Knuth-Bendix.- 3.7 Reduktionsordnungen.- 3.8 Modularität.- 4 Termersetzung modulo einer Kongruenz.- 4.1 Die Church-Rosser-Eigenschaft modulo A.- 4.2 A-Vervollständigung für links-lineare Regeln.- 4.3 A-Vervollständigung für beliebige Regeln.- 4.4 A-verträgliche Reduktionsordnungen.- 5 Ausblick.- Wegweiser zur Originalliteratur.