Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Gramlich, Bernhard (VerfasserIn), Miller, Dale (Sonstige), Sattler, Uli (Sonstige)
Titel:	Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings/ edited by Bernhard Gramlich, Dale Miller, Uli Sattler
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7364
Schlagwörter:	Logic design Electronic data processing Computer science Software engineering Artificial intelligence Computer Science Machine theory. Numerical analysis. Konferenzschrift > 2012 > Manchester
Buchausg. u.d.T.:	Automated reasoning, Berlin : Springer, 2012, XIV, 568 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (XIV, 568p. 90 illus, digital)
ISBN:	9783642313653
DOI:	10.1007/978-3-642-31365-3