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)

New
Illustrated
2008
$104.88

$104.88

Save:$8.59 (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

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

New

$104.88

$104.88

More Information