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.
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
- Features Bibliography, Illustrated
- 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
-
SGD 92.13SGD 13.86 shipping to USA
Show Details
Item Price
SGD 92.13
SGD 13.86
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
-
SGD 104.46SGD 17.25 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
SGD 104.46
SGD 17.25
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
-
SGD 122.09SGD 31.12 shipping to USA
Show Details
Description:
Heidelberg: Springer Distribution Center GmbH (SDC), 2008. Heidelberg, 2008; paperback, pp. 524, cm 15x23.
Item Price
SGD 122.09
SGD 31.12
shipping to USA