Near Fine/Wraps (31245) . Paperback, lightly rubbed covers, unmarked, clean and tight. This is volume 624 of the Lecture Notes in Artificial Intelligence (a subseries of Lecture Notes in Computer Science). 509 pages. Seller Inventory # 31245

Contact seller

Report this item

Bibliographic Details

Title: Logic Programming and Automated Reasoning: ...

Publisher: Springer-Verlag

Publication Date: 1992

Binding: Paperback

Edition: Reprint edition

About this title

Synopsis:

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 in the 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 published in LNAI Vol. 592.

"About this title" may belong to another edition of this title.

Store Description

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

George Cross Books
MA, U.S.A.

Terms of Sale:

George Cross Books guarantees the condition of every book as it is described. If
you are dissatisfied for any reason, return your purchase within 7 days of receipt
for a full refund of the purchase price. We'll also refund shipping costs if the
return was a result of our error. Please send us an email before making a return.
Contact details: George Cross, 6 3rd St, Lexington MA 02420, USA. Email:
georgecrossbooks@gmail.com. Phone number: 877-822-8763. Fax Number: 877-822-
8763.

Shipping Terms:

Orders usually ship within 2 business days. Free shipping applies to Media Mail in the United States and FPO/APO/AE/AP zip codes where Media Mail is permitted. Please note that Media Mail to Hawaii, Alaska, and Puerto Rico may take 3-5 weeks, and Priority mail is encouraged for these locales expecially for textbooks. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Check Money Order Cash PayPal Invoice

Add to Wants

Items related to Logic Programming and Automated Reasoning: International...

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

Voronkov, A.; LPAR (1992 Saint Petersburg, Russia)

Used - Soft cover

Seller's business information