Automated Deduction - CADE-25  25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /  [electronic resource] : 
edited by Amy P. Felty, Aart Middeldorp. 
 - 1st ed. 2015. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (XXVIII, 640 p. 93 ill.) 
 - Lecture Notes in Computer Science,  9195  0302-9743 ; .
<br/><br/>Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience. 
<br/><br/><label>ISBN: </label>9783319214016 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computers.<br/>Algorithms.<br/>Artificial intelligence.<br/>Image processing.<br/>Pattern recognition.