Overview
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6803)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CADE 2011.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (38 papers)
Other volumes
-
Automated Deduction – CADE-23
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Automated Deduction -- CADE-23
Book Subtitle: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Editors: Nikolaj Bjørner, Viorica Sofronie-Stokkermans
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-22438-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-22437-9Published: 12 July 2011
eBook ISBN: 978-3-642-22438-6Published: 12 July 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 508
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering