Logic Programming and Automated Reasoning - International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Paperback, 1992 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 624
Release date:	July 1992
First published:	1992
Editors:	Andrei Voronkov
Dimensions:	233 x 155 x 27mm (L x W x T)
Format:	Paperback
Pages:	516
Edition:	1992 ed.
ISBN-13:	978-3-540-55727-2
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-55727-X
Barcode:	9783540557272

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!