Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Application Software, Computer Graphics, General Computing
Cover of the book Automated Deduction - CADE-25 by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319214016
Publisher: Springer International Publishing Publication: July 30, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319214016
Publisher: Springer International Publishing
Publication: July 30, 2015
Imprint: Springer
Language: English

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.

The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.

The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

More books from Springer International Publishing

Cover of the book Quantum Physics and Geometry by
Cover of the book Water Governance in the Face of Global Change by
Cover of the book Synthesis, Structure and Properties of Poly(lactic acid) by
Cover of the book A Brief History of Comic Book Movies by
Cover of the book Theory and Practice of Natural Computing by
Cover of the book Etiology of Acute Leukemias in Children by
Cover of the book Accountability and Security in the Cloud by
Cover of the book Diseases of the Cardiac Pump by
Cover of the book Multimedia and Network Information Systems by
Cover of the book Health Monitoring and Personalized Feedback using Multimedia Data by
Cover of the book The International Political Economy of Oil and Gas by
Cover of the book Exploitation and Misrule in Colonial and Postcolonial Africa by
Cover of the book Infectious Diseases and Arthropods by
Cover of the book The Stigma of Mental Illness - End of the Story? by
Cover of the book Taxonomy Matching Using Background Knowledge by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy