Leo Bachmair
Artículos populares por Leo Bachmair
Ver todas las ofertas-
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings: 1833 (Lecture Notes in Computer Science)
Bachmair, Leo
Precios de los artículos a partir de
Ver 15 ofertasEUR 4,45
-
Canonical Equational Proofs (Progress in Theoretical Computer Science)
Bachmair, Leo
Precios de los artículos a partir de
Ver 22 ofertasEUR 25,81
