Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Paperback, 2003 ed.)

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2741
Release date:	July 2003
First published:	2003
Editors:	Franz Baader
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Paperback
Pages:	512
Edition:	2003 ed.
ISBN-13:	978-3-540-40559-7
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-40559-3
Barcode:	9783540405597

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!