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

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Felty, Amy P, Middeldorp, Aart
Format:	Buch
Sprache:	eng
Schlagworte:	Artificial intelligence Automatic theorem proving Automatic theorem proving-Congresses Computer programming, programs, data Logic, Symbolic and mathematical
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!