Cantitate/Preț
Produs
Total produse
Vezi coșul
Reduktionssysteme de Jürgen Avenhaus

Reduktionssysteme: Springer-Lehrbuch

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

Din seria Springer-Lehrbuch

  • 15% Tier- und Humanphysiologie
    Preț: 51431 lei
  • 5% Innere Medizin...in 5 Tagen
    Preț: 39252 lei
  • 5% Poster Stoffwechsel
    Preț: 5570 lei
  • 5% Klinische Psychologie & Psychotherapie
    Preț: 57534 lei
  • 11% Kognitive Neurowissenschaften
    Preț: 69320 lei
  • 5% Löffler/Petrides Biochemie und Pathobiochemie
    Preț: 80937 lei
  • 5% Allgemeine und Spezielle Pathologie
    Preț: 61760 lei
  • 5% Basic Skills PJ
    Preț: 21636 lei
  • Anatomie kompakt
    Preț: 40804 lei
  • Anthropologie
    Preț: 49443 lei
  • 5% Klinische Psychologie und Psychotherapie für Bachelor
    Preț: 22765 lei
  • 5% Basiswissen Chirurgie
    Preț: 38014 lei
  • Elektronik für Ingenieure und Naturwissenschaftler
    Preț: 54455 lei
  • 5% Basiswissen Allgemeinmedizin
    Preț: 41501 lei
  • Psychologische Diagnostik
    Preț: 58404 lei
  • Wirtschaftspsychologie für Bachelor
    Preț: 29566 lei
  • Lehrbuch der Technischen Mechanik - Band 1: Starrkörperstatik
    Preț: 43539 lei
  • 5% Psychiatrie
    Preț: 45094 lei
  • Lehrbuch der Sozialpolitik
    Preț: 32919 lei
  • 11% Elementare Teilchen
    Preț: 45399 lei
  • 5% Lunge und Atemwege
    Preț: 33270 lei
  • 5% Basiswissen Biochemie
    Preț: 54529 lei
  • Lernskript Psychologie
    Preț: 34753 lei
  • Denken - Urteilen, Entscheiden und Problemlösen
    Preț: 29032 lei
  • 5% Basiswissen Psychiatrie und Psychotherapie
    Preț: 37158 lei
  • Besteuerung der Unternehmen
    Preț: 60332 lei
  • 5% Basiswissen Pädiatrie
    Preț: 36337 lei
  • Sportpsychologie
    Preț: 24457 lei
  • Das gesamte examensrelevante Zivilrecht
    Preț: 62819 lei
  • Mineralogie
    Preț: 52138 lei
  • 5% Orthopädie Unfallchirurgie
    Preț: 39721 lei
  • 5% Medizinische Mikrobiologie und Infektiologie
    Preț: 54825 lei
  • Europäisches Arbeitsrecht: Mit zahlreichen Beispielsfällen aus der Rechtsprechung des EuGH
    Preț: 27549 lei
  • 5% Physiologie des Menschen
    Preț: 65749 lei
  • 5% Basiswissen Humangenetik
    Preț: 30038 lei
  • 5% Biologie für Mediziner
    Preț: 28829 lei
  • Atlas der Anatomie des Menschen
    Preț: 47887 lei
  • 13% Leistungselektronische Schaltungen
    Preț: 125904 lei
  • 5% Neurologie
    Preț: 84888 lei
  • 11% Chemie für Biologen
    Preț: 49520 lei
  • 5% Urologie
    Preț: 53385 lei
  • Forschungsmethoden und Evaluation in den Sozial- und Humanwissenschaften
    Preț: 60703 lei
  • 5% Arbeitsmedizin
    Preț: 33360 lei
  • 5% Magen-Darm-Trakt
    Preț: 34020 lei
  • Sozialpsychologie
    Preț: 56119 lei
  • 5% PathoMaps
    Preț: 25840 lei
  • Botanisches Grundpraktikum
    Preț: 35827 lei
  • Grundkurs Theoretische Physik 6
    Preț: 47456 lei
  • 11% Anatomie
    Preț: 61432 lei
  • Grundlagen der Mikrobiologie
    Preț: 36704 lei

Preț: 40293 lei

Preț vechi: 50366 lei
-20%

Puncte Express: 604

Carte tipărită la comandă

Livrare economică 30 iulie-13 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 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 15 mm
Greutate: 0.41 kg
Editura: Springer
Colecția Springer-Lehrbuch
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.