Logic Programming and Automated Reasoning: International...

Buy Logic Programming and Automated Reasoning: International... here, one of many AIX books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > AIX > Item 733

	Logic Programming and Automated Reasoning: International...
	by Andrei Voronkov	$98.00 At Amazon on 11-16-2008.

*Features* Cover Type: Paperback with 509 pages Published by: Springer Edition: 1st Edition July 29, 1992 Written in: English ISBN 10 Number: 354055727X ISBN 13 Number: 978-3540557272 Book Dimensions: 9.2 x 6.1 x 1.1 inches Weighs: 1.6 pounds *Product 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. Back To Top
Logic Programming and Automated Reasoning: International... ~~List Price: $98.00~~ Available from Amazon Price: $98.00 Updated on 11-16-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Logic Programming and Automated Reasoning: International... and other related AIX Books here at Rbookshop.com. To view more books about AIX please use the previous and next buttons near the top of this page.