BOOKS by Leo Bachmair

Sometimes it pays off to expand your search to view all available copies of items matching your search terms.

Page 1 of 1

sort by

Rewriting Techniques and Applications more books like this

by Leo Bachmair (Editor)

add to wishlist

This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000.The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions. All current ...

see all copies from $6.44!

new only from $37.90! | first editions | SVS

Canonical Equational Proofs more books like this

by Leo Bachmair

add to wishlist

see all copies from $28.00!

new only from $36.00!

Page 1 of 1

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.

	Is God a Mathematician? by Mario Livio see all from $12.39! new only from $13.00!
	Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, UK, July 10-12, 2000 Proceedings by Leo Bachmair (Editor) see all from $87.87! new only from $87.87!
	Philosophy of mathematics; selected readings. by Paul Benacerraf (Editor), Hilary Putnam see all from $13.06! new only from $54.70!
	The Poincare Conjecture: In Search of the Shape of the Universe by Donal O'Shea see all from $3.50! new only from $5.43!
	An Introduction to Formal Languages and Automata by Peter Linz see all from $1.99! new only from $27.22!
	Symbolic Logic by John Venn see all from $1.99! new only from $27.28!