Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,

Name: Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,
SKU: 376061093567
Price: 33.00 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

33,00 €

Birkhäuser Verlag 1991. 135 Seiten gebundene Ausgabe Sprache: Englisch ISBN: 0817635556 EAN: 9780817635558 Bestell-Nr: 2129461 Bemerkungen: Das Buch befindet sich in einem ordentlich erhaltenen Zustand. In ENGLISCHER Sprache. .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9780817635558
ISBN:

0817635556
Reihe:

Progress in Theoretical Computer Science
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

1991
Anzahl der Seiten:

152 Seiten
Autor:

Bachmair
Verlag:

Birkhäuser Boston
Publikationsname:

Canonical Equational Proofs
Sprache:

Englisch

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 23. May 2025 und 24. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

DHL Kleinpaket 5,95 EUR - Lieferung zwischen 22. May 2025 und 23. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien
Versand ausgeschlossen:

Brunei Darussalam , Laos , Taiwan , Thailand , Jemen , Mongolei , Turkmenistan , Italien , Jungferninseln (USA) , Anguilla , ... und weitere

Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,

Leo Bachmair - Canonical Equational Proofs

Topics in Theoretical Computer Science Mohammad Ali Abam

Linear programming. (=Progress in theoretical computer science ; 2). Karloff, Ho

Logic and Information (Cambridge Tracts in Theoretical Computer Science (Paperba

Theoretical Computer Science Cosimo Laneve

Theoretical Nursing : Development and Progress Hardcover Afaf Ibr

Progress in Theoretical Biology; 3 Rosen, Robert and F.M. Snell:

The Graph Isomorphism Problem: Its Structural Complexity Progress in Theoretical

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Theoretical Computer Science Vladimiro Sassone

Automated Theorem-proving in Non-classical Logics. Research notes in theoretical

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Foundations of Software Technology and Theoretical Computer Science V. Vinay

Foundations of Software Technology and Theoretical Computer Science P. S. Thiaga

From Random Walks to Random Matrices: Selected Topics in Modern Theoretical P...

Classical Mechanics: The Theoretical Minimum Leonard Susskind

Theoretical Computer Science - 9789811068928

Luís S. Barbosa Topics in Theoretical Computer Science (Taschenbuch)

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Theoretical Nursing : Development and Progress Hardcover Afaf Ibr

Canonical Equational Proofs. Progress in Theoretical Computer Science. Bachmair,

Ähnliche Artikel

Leo Bachmair - Canonical Equational Proofs

Topics in Theoretical Computer Science Mohammad Ali Abam

Linear programming. (=Progress in theoretical computer science ; 2). Karloff, Ho

Logic and Information (Cambridge Tracts in Theoretical Computer Science (Paperba

Theoretical Computer Science Cosimo Laneve

Theoretical Nursing : Development and Progress Hardcover Afaf Ibr

Progress in Theoretical Biology; 3 Rosen, Robert and F.M. Snell:

The Graph Isomorphism Problem: Its Structural Complexity Progress in Theoretical

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Theoretical Computer Science Vladimiro Sassone

Automated Theorem-proving in Non-classical Logics. Research notes in theoretical

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Foundations of Software Technology and Theoretical Computer Science V. Vinay

Foundations of Software Technology and Theoretical Computer Science P. S. Thiaga

From Random Walks to Random Matrices: Selected Topics in Modern Theoretical P...

Classical Mechanics: The Theoretical Minimum Leonard Susskind

Theoretical Computer Science - 9789811068928

Luís S. Barbosa Topics in Theoretical Computer Science (Taschenbuch)

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Theoretical Nursing : Development and Progress Hardcover Afaf Ibr

Cookie Hinweis