Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings: 698 (Lecture Notes in Computer Science)

by Andrei Voronkov (Author)

New
Illustrated
2008
$84.29

$84.29

Save:$6.48 (7%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 408
Edition: 1993
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540569448
ISBN 13: 9783540569442

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings: 698 (Lecture Notes in Computer Science)

New

$84.29

$84.29

More Information