Items related to Logic Programming and Automated Reasoning: 4th International...
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings: 698 (Lecture Notes in Computer Science, 698) - Softcover
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 contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1993
- ISBN 10 3540569448
- ISBN 13 9783540569442
- BindingPaperback
- LanguageEnglish
- Number of pages408
- EditorVoronkov Andrei
Search results for Logic Programming and Automated Reasoning: 4th International...
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 | Seiten: 408 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 548087/2
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 5 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: 4th International Conference, Lpar*93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like NewLIKE NEW. book. Seller Inventory # ERICA83335405694483
Quantity: 1 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
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
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
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
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
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