We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Automated Deduction - CADE-25

Automated Deduction - CADE-25

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

part of the Lecture Notes in Artificial Intelligence series

part of the Lecture Notes in Computer Science series

Automated Deduction - CADE-25 Save 17% from RPP Save 17%
About Automated Deduction - CADE-25

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319214009
  • Binding:
  • Paperback
  • Pages:
  • 640
  • Published:
  • July 29, 2015
  • Edition:
  • 12015
  • Dimensions:
  • 155x235x34 mm.
  • Weight:
  • 9942 g.
Delivery: 2-4 weeks
Expected delivery: March 23, 2025

Description of Automated Deduction - CADE-25

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.

User ratings of Automated Deduction - CADE-25



Others also bought..
Find similar books
The book Automated Deduction - CADE-25 can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.