.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction - CADE-23
. Ed(S): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica
€ 69.14
FREE Delivery in Ireland
Description for Automated Deduction - CADE-23
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
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.
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.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
521
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
508
Place of Publication
Berlin, Germany
ISBN
9783642224379
SKU
V9783642224379
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction - CADE-23