Automated Deduction - CADE-25
Subtitle: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Publisher: Springer
Published: Jul 30, 2015
Format: paperback
Number of pages: 668
ISBN-13: 9783319214009
Notes: Source title: Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science (9195))