Stock Photo: Cover May Be Different
Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Paperback - 1992 - 1992nd Edition
by Andrei Voronkov (Editor)
First line
Partial deduction (or evaluation) has been introduced to logic programming in 1981 by Komorowski [KomSl].
Details
- Title Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
- Author Andrei Voronkov (Editor)
- Binding Paperback
- Edition number 1992nd
- Edition 1992
- Pages 516
- Volumes 1
- Language ENG
- Publisher Springer, Heidelberg
- Date 1992-07-01
- Illustrated Yes
- ISBN 9783540557272 / 354055727X
- Weight 1.62 lbs (0.73 kg)
- Dimensions 9.21 x 6.14 x 1.07 in (23.39 x 15.60 x 2.72 cm)
- Library of Congress Catalog Number 92021886
- Dewey Decimal Code 006.3
More Copies for Sale
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
-
$67.46$10.15 shipping to USA
Show Details
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.
Item Price
$67.46
$10.15
shipping to USA
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
-
$76.49$12.63 shipping to USA
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
$76.49
$12.63
shipping to USA
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
-
$89.44$22.79 shipping to USA
Show Details
Description:
Heidelberg: Springer Distribution Center GmbH (SDC), 2008. Heidelberg, 2008; paperback, pp. 524, cm 15x23.
Item Price
$89.44
$22.79
shipping to USA
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 Computer Science, 624)
by Voronkov, Andrei [Editor]
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727X
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$181.00$15.00 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
$181.00
$15.00
shipping to USA
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
- Condition
- Used:Good
- Edition
- 1992
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540557272 / 354055727X
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$201.96FREE shipping to USA
Show Details
Description:
Springer, 1992-07-29. 1992. Paperback. Used:Good.
Item Price
$201.96
FREE shipping to USA