Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction - Cade-18
Andrei . Ed(S): Voronkov
€ 71.70
FREE Delivery in Ireland
Description for Automated Deduction - Cade-18
Paperback. Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more. Editor(s): Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 765.
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, ... Read more
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
552
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
540
Place of Publication
Berlin, Germany
ISBN
9783540439318
SKU
V9783540439318
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction - Cade-18