TY - GEN digital ID - 131712317 TI - Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings AU - Felty, Amy P. AU - Middeldorp, Aart PY - 2015 SN - 9783319214016 9783319214023 9783319214009 PB - Cham Springer International Publishing DB - UniCat KW - Complex analysis KW - Mathematical statistics KW - Computer science KW - Programming KW - Computer architecture. Operating systems KW - Information systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - patroonherkenning KW - beeldverwerking KW - factoranalyse KW - complexe analyse (wiskunde) KW - applicatiebeheer KW - apps KW - computers KW - informatiesystemen KW - algoritmen KW - KI (kunstmatige intelligentie) KW - architectuur (informatica) KW - AI (artificiële intelligentie) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131712317 AB - 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. ER -