Releases med Leo Bachmair

I lager hos iMusic Visa slutsålda utgivelser

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 (Pocketbok) (2000)

Rewriting Techniques and Applica... (2000)

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

Softcover Reprint of the Original 1st Ed. 1991 edition

Canonical Equational Proofs - Pr... (1991)