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

  • Lehrbuch der Sozialpolitik
    Preț: 32590 lei
  • 5% Urologie
    Preț: 51654 lei
  • 5% Psychiatrie
    Preț: 43601 lei
  • 5% Medizinische Mikrobiologie und Infektiologie
    Preț: 53179 lei
  • 5% Chirurgie
    Preț: 72010 lei
  • Europäisches Arbeitsrecht: Mit zahlreichen Beispielsfällen aus der Rechtsprechung des EuGH
    Preț: 27549 lei
  • 5% Allgemeine und Spezielle Pathologie
    Preț: 59752 lei
  • 5% Anästhesie, Intensivmedizin, Notfallmedizin, Schmerztherapie
    Preț: 48760 lei
  • 5% Arbeitsmedizin
    Preț: 33341 lei
  • 11% Elementare Teilchen: Von den Atomen über das Standard-Modell bis zum Higgs-Boson
    Preț: 45372 lei
  • Das gesamte examensrelevante Zivilrecht
    Preț: 60779 lei
  • 5% Basiswissen Chirurgie
    Preț: 36784 lei
  • 5% Klinische Psychologie & Psychotherapie
    Preț: 55759 lei
  • 5% Augenheilkunde
    Preț: 45716 lei
  • 5% Orthopädie Unfallchirurgie
    Preț: 38436 lei
  • Grundkurs Theoretische Physik 2: Analytische Mechanik
    Preț: 27495 lei
  • Lehrbuch der Technischen Mechanik - Band 1: Starrkörperstatik
    Preț: 42129 lei
  • 5% Neurologie
    Preț: 82143 lei
  • 13% Leistungselektronische Schaltungen
    Preț: 122008 lei
  • Grundkurs Theoretische Physik 3
    Preț: 49336 lei
  • Lernskript Psychologie
    Preț: 33634 lei
  • 5% Basiswissen Biochemie
    Preț: 52759 lei
  • Botanisches Grundpraktikum
    Preț: 34645 lei
  • 5% Basiswissen Psychiatrie und Psychotherapie
    Preț: 36265 lei
  • Grundkurs Theoretische Physik 6
    Preț: 45920 lei
  • 5% Klinische Psychologie und Psychotherapie für Bachelor
    Preț: 22018 lei
  • 5% Basiswissen Pädiatrie
    Preț: 35139 lei
  • Sportpsychologie
    Preț: 23662 lei
  • Psychologische Diagnostik
    Preț: 56502 lei
  • Mineralogie
    Preț: 50576 lei
  • 5% Löffler/Petrides Biochemie und Pathobiochemie
    Preț: 78302 lei
  • 5% Basiswissen Allgemeinmedizin
    Preț: 41364 lei
  • Sportpsychologie
    Preț: 49658 lei
  • 5% Physiologie des Menschen
    Preț: 63629 lei
  • Experimentalphysik 2: Elektrizität und Optik
    Preț: 39051 lei
  • Wirtschaftspsychologie für Bachelor
    Preț: 28604 lei
  • Atlas der Anatomie des Menschen
    Preț: 45789 lei
  • 5% Basiswissen Humangenetik
    Preț: 29576 lei
  • 11% Chemie für Biologen
    Preț: 47914 lei
  • 5% Basic Skills PJ
    Preț: 20925 lei
  • 5% Poster Stoffwechsel
    Preț: 4903 lei
  • Forschungsmethoden und Evaluation in den Sozial- und Humanwissenschaften
    Preț: 58732 lei
  • 5% Lunge und Atemwege
    Preț: 38225 lei
  • Hormone und Hormonsystem - Lehrbuch der Endokrinologie
    Preț: 35472 lei
  • Sozialpsychologie
    Preț: 54310 lei
  • 5% PathoMaps
    Preț: 26905 lei
  • 5% Innere Medizin...in 5 Tagen
    Preț: 37953 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 68709 lei
  • 5% Anatomie
    Preț: 65488 lei
  • Grundlagen der Mikrobiologie
    Preț: 35529 lei

Preț: 40020 lei

Preț vechi: 50025 lei
-20%

Puncte Express: 600
Preț estimativ în valută:
7073€ • 8321$ • 6174£

Carte tipărită la comandă

Livrare economică 06-20 aprilie

 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.