Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction - Cade 21
N/A
€ 66.16
FREE Delivery in Ireland
Description for Automated Deduction - Cade 21
Paperback. Constitutes the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. This book discusses various aspects of automated deduction, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 813.
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
536
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
524
Place of Publication
Berlin, Germany
ISBN
9783540735946
SKU
V9783540735946
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction - Cade 21