Automated Deduction - CADE-15 - 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Paperback, 1998 ed.)

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 1421
Release date:	June 1998
First published:	1998
Editors:	Claude Kirchner • Helene Kirchner
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	450
Edition:	1998 ed.
ISBN-13:	978-3-540-64675-4
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-64675-2
Barcode:	9783540646754

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!