Automated Deduction -- CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Paperback, 2011)

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc aw, Poland, in July/August 2011.
The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 6803
Release date:	July 2011
First published:	2011
Editors:	Nikolaj Bjorner • Viorica Sofronie-Stokkermans
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Paperback
Pages:	508
Edition:	2011
ISBN-13:	978-3-642-22437-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-642-22437-7
Barcode:	9783642224379

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!