Logic Programming and Automated Reasoning: 4th International Conference, Lpar*93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Voronkov, Andrei
ISBN 10: 3540569448 ISBN 13: 9783540569442
Published by Springer, 1993
Used
Paperback
From
Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since April 15, 2021
This specific item is no longer available.
About this Item
Description:
Like NewLIKE NEW. Seller Inventory # ERICA83335405694483
Synopsis:
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume...
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Logic Programming and Automated Reasoning: ...
Publisher: Springer
Publication Date: 1993
Binding: Paperback
Condition: Like New
Book Type: book
Top Search Results from the AbeBooks Marketplace
Stock Image
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes . / Lecture Notes in Artificial Intelligence)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 0387569448 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-2002
Quantity: 1 available
Stock Image
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540569448
ISBN 13: 9783540569442
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 548087/2
Quantity: 1 available
Seller Image
Logic Programming and Automated Reasoning
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540569448
ISBN 13: 9783540569442
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Lat. Seller Inventory # 4894128
Quantity: Over 20 available
Stock Image
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020170923
Quantity: Over 20 available
Seller Image
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540569448
ISBN 13: 9783540569442
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'. Seller Inventory # 9783540569442
Quantity: 1 available
Seller Image
Logic Programming and Automated Reasoning
Published by
Springer Berlin Heidelberg Jun 1993, 1993
ISBN 10: 3540569448
ISBN 13: 9783540569442
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch. Seller Inventory # 9783540569442
Quantity: 1 available
Stock Image
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540569442
Quantity: 10 available
Stock Image
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540569442_new
Quantity: Over 20 available
Stock Image
Logic Programming and Automated Reasoning
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 412. Seller Inventory # 261759687
Quantity: 4 available
Stock Image
Logic Programming and Automated Reasoning
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 412 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7169560
Quantity: 4 available