Automated Deduction – CADE-23 [electronic resource] :23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
by Bjørner, Nikolaj [editor.]; Sofronie-Stokkermans, Viorica [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6803Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: XIII, 508 p. online resource.ISBN: 9783642224386.Subject(s): Computer science | Software engineering | Logic design | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Software EngineeringDDC classification: 006.3 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TJ210.2-211.495 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | Q334-342 (Browse shelf) | Available |
Close shelf browser
| K7000-7720.22 Insurance Systems in Times of Climate Change | K7073-7078 Insurance Systems in Times of Climate Change | Q334-342 Automated Deduction – CADE-23 | TJ210.2-211.495 Automated Deduction – CADE-23 | GA1-1776 Mapping Environmental Issues in the City | TK5105.5-5105.9 Ad-hoc, Mobile, and Wireless Networks | T57-57.97 Scientific Computing in Electrical Engineering SCEE 2010 |
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.
There are no comments for this item.