Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction - Cade-17
David . Ed(S): McAllester
€ 66.61
FREE Delivery in Ireland
Description for Automated Deduction - Cade-17
Paperback. The refereed proceedings of the 17th International Conference on Automated Deduction. The research papers and system descriptions presented cover a variety of topics related to theorem proving and its applications. Also included are contributions corresponding to invited talks and tutorials. Editor(s): McAllester, David. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 540 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 819.
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as ... Read more
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as ... Read more
Product Details
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
540
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
526
Place of Publication
Berlin, Germany
ISBN
9783540676645
SKU
V9783540676645
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction - Cade-17