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

by Nachum Dershowitz (Author), Naomi Lindenstrauss (Author)

New
Paperback
2008
$85.38

$85.38

Save:$6.58 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 392
Edition: 1995
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540603816
ISBN 13: 9783540603818

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

New

$85.38

$85.38

More Information