BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic Programming and Automated Reasoning: International Conference Lpar
Stock photo: cover may vary

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)

Add to wish list

Reader reviews for Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.

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
  • Publication 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)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 92021886
  • Dewey Decimal Code 006.3
Back to top↑

More Copies for Sale

Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg,...

Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540557272 / 354055727x
Quantity available
324
Seller
Ria Christie Collections
Item price
A$104.12
A$15.42 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russia
Add to wish list
Item price
A$104.12
A$15.42 Delivery to USA
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg,...

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
The Saint Bookstore
Biblio Top Seller
Item price
A$112.11
A$19.20 Delivery 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.
Add to wish list
Item price
A$112.11
A$19.20 Delivery to USA
Logic Programming and Automated Reasoning
Stock photo: cover may vary

Logic Programming and Automated Reasoning

by Andrei Voronkov,

  • New
Condition
New
ISBN 10 / ISBN 13
9783540557272 / 354055727x
Quantity available
5
Seller
GreatBookPrices
Item price
A$87.56
A$5.82 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$87.56
A$5.82 Delivery to USA
Logic Programming and Automated Reasoning
Stock photo: cover may vary

Logic Programming and Automated Reasoning

by Andrei Voronkov,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540557272 / 354055727x
Quantity available
5
Seller
GreatBookPrices
Item price
A$87.56
A$5.82 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$87.56
A$5.82 Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.