Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von Leo Bachmair

Cover for Leo Bachmair · Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000: Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2000)

Rewriting Techniques and Applica... (2000)

Cover for Leo Bachmair · Canonical Equational Proofs - Progress in Theoretical Computer Science (Taschenbuch) [Softcover Reprint of the Original 1st Ed. 1991 edition] (1991)

Softcover Reprint of the Original 1st Ed. 1991 edition

Canonical Equational Proofs - Pr... (1991)