Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science)

by Andrei Voronkov (Author), Andrei Voronkov (Author), David McAllester (Author), Harald Ganzinger (Author)

New
Paperback
2008
$94.80

$94.80

Save:$7.03 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 416
Edition: 1999
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540664920
ISBN 13: 9783540664925

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science)

New

$94.80

$94.80

More Information