Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings.
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) by Andrei Voronkov (Editor) - 1992-07-29
by Andrei Voronkov (Editor)
Similar copies are shown below.
Similar copies are shown to the right.
Stock Photo: Cover May Be Different
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by Andrei Voronkov (Editor)
- Used
- Paperback
Springer, 1992-07-29. 1992. Paperback. Used:Good.
-
Bookseller
Ergodebooks
(US)
- Format/Binding Paperback
- Book Condition Used:Good
- Quantity Available 1
- Edition 1992
- Binding Paperback
- ISBN 10 354055727X
- ISBN 13 9783540557272
- Publisher Springer
- Date Published 1992-07-29
We have 3 copies available starting at $68.41.
Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
by Andrei Voronkov
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727x
- Quantity Available
- 274
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$68.41$7.99 shipping to
Show Details
Item Price
$68.41
$7.99
shipping to
Stock Photo: Cover May Be Different
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
by Andrei Voronkov
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727x
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$77.57$9.95 shipping to
Show Details
Description:
Paperback / softback. New. This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.
Item Price
$77.57
$9.95
shipping to
Stock Photo: Cover May Be Different
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings
by Voronkov, Andrei
- Used
- Paperback
- Condition
- Used
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727X
- Quantity Available
- 1
- Seller
-
San Casciano V.P., Italy
- Item Price
-
$90.66$21.00 shipping to
Show Details
Description:
Heidelberg: Springer Distribution Center GmbH (SDC), 2008. Heidelberg, 2008; paperback, pp. 524, cm 15x23.
Item Price
$90.66
$21.00
shipping to