DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
There are more books about books than about any other subject.
ISBN10: 354055727X, ISBN13: 9783540557272, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.The topics of interest covered by papers inthe volumeinclude 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 RussianConferences on Logic Programming held in 1990 and 1991,respectively, the proceedings of which were publishedinLNAI Vol. 592. [Einbeck, Germany] [Publication Year: 1992]
ISBN10: 354055727X, ISBN13: 9783540557272, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.The topics of interest covered by papers inthe volumeinclude 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 RussianConferences on Logic Programming held in 1990 and 1991,respectively, the proceedings of which were publishedinLNAI Vol. 592. [Einbeck, Germany] [Publication Year: 1992]
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings. ISBN 354055727x 9783540557272 [GB]
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. ISBN 354055727x 9783540557272 [GB]
Heidelberg: Springer Distribution Center GmbH (SDC), Date: 2008. Heidelberg, 2008; paperback, pp. 524, cm 15x23. 2008. Springer Distribution Center GmbH (SDC) ISBN 354055727X 9783540557272 [IT]
ISBN10: 354055727X, ISBN13: 9783540557272, [publisher: Springer Distribution Center GmbH (SDC)] Softcover Heidelberg, 2008; paperback, pp. 524, cm 15x23. [San Casciano Val di Pesa, FI, Italy] [Publication Year: 2008]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.