Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers: 816 (Lecture Notes in Computer Science)

by Tobias Nipkow (Author), Bernhard M??ller (Author), Karl Meinke (Author), Jan Heering (Author)

New
Illustrated
2008
$84.00

$84.00

Save:$6.47 (7%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 360
Edition: 1994
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540582339
ISBN 13: 9783540582335

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers: 816 (Lecture Notes in Computer Science)

New

$84.00

$84.00

More Information