Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften:	Bonacina, Maria Paola (VerfasserIn)
Titel:	Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings/ edited by Maria Paola Bonacina
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7898
Schlagwörter:	Computer software Logic design Computer Science Computer science Software engineering Artificial intelligence Machine theory. Algorithms. Konferenzschrift > 2013 > Lake Placid, NY
Druckausg.:	Automated deduction - CADE-24, Berlin : Springer, 2013, XV, 466 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (XVI, 466 p. 95 illus, digital)
ISBN:	9783642385742
DOI:	10.1007/978-3-642-38574-2