TY  - BOOK
AU  - Felty,Amy P
AU  - Middeldorp,Aart
TI  - Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings 
SN  - 9783319214016
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computers
KW  - Algorithms
KW  - Artificial intelligence
KW  - Image processing
KW  - Pattern recognition
N1  - Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience
UR  - http://dx.doi.org/10.1007/978-3-319-21401-6
ER  -