Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Logic Programming And Automated Reasoning: International Conference Lpar '92, St Petersburg, Russia, July 15-20, 1992 ProceedingsISBN13:9783540557272ISBN10:354055727XAuthor:Voronkov, Andrei (Editor)Description: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 Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:1992-07-01Weight:1.62 lbsDimensions:1.07'' H x 9.21'' L x 6.14'' WNumber of Pages:516Language:English
Price: 55.44 USD
Location: USA
End Time: 2024-11-11T19:55:58.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Logic Programming And Automated Reasoning: International Con...
Item Length: 9.2in
Item Width: 6.1in
Author: A. Voronkov
Publication Name: Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Format: Trade Paperback
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 1992
Series: Lecture Notes in Computer Science Ser.
Type: Textbook
Item Weight: 57.5 Oz
Number of Pages: Xvi, 516 Pages
