It looks like you're offline.

Last edited by RenameBot

August 24, 2008 | History

Edit

Leo Bachmair

We need a photo of Leo Bachmair

2 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings (Lecture Notes in Computer Science)

by Leo Bachmair First published in 2000 — 2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Canonical equational proofs

by Leo Bachmair First published in 1991 — 1 edition

Preview Only

My Reading Lists:

Create a new list

We need a photo of Leo Bachmair

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL764366A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON