Buy Used and New Naomi Lindenstrauss Books

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science)

by Naomi Lindenstrauss,Nachum Dershowitz

ISBN 13: 9783540603818

Format: Paperback (392 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later