A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11, Band 11)

Birkhauser
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11, Band 11)

Abbildung von A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11, Band 11)

Preise von

48,99

Hervorgehoben

48,99 €

Zum Shop

Beschreibung

Amazon Used Book in Good Condition brand: Birkhäuser manufacturer: Birkhäuser

Webshops vergleichen (1)

Shop

Preis

Versandkosten

Total price

48,99 €

Gratis

48,99 €

Zum Shop

Gratis

Beschreibung (1)

Used Book in Good Condition brand: Birkhäuser manufacturer: Birkhäuser

Produktspezifikationen

Marken	Birkhauser
EAN	9780817635930

Preise zuletzt aktualisiert am: 16-06-2026, 03:21

Birkhauser

Logic for Computer Scientists (Progress in Science and Applied Logic, Band 8)

68,98 €

Weitere Informationen Mehr Infos

Birkhauser

Temporal Type Theory: A Topos Theoretic Approach to Systems and Behavior (Progress...

68,72 €

Weitere Informationen Mehr Infos

Birkhauser

Mathematics for the Analysis of Algorithms (Progress in Computer Science and Applied...

70,92 €

Weitere Informationen Mehr Infos

Birkhauser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

59,99 €

Weitere Informationen Mehr Infos

Hervorgehobene Wahl

48,99 €

Zum Shop