Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings: 624 (Lecture Notes in Computer Science)

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings: 624 (Lecture Notes in Computer Science)

by Andrei Voronkov (Author)

$111.38

Save:$9.12 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 532
Edition: 1992
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 354055727X
ISBN 13: 9783540557272