No cover image available
Cover image
Normal view MARC view ISBD view

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings / edited by Bernhard Gramlich, Dale Miller, Ulrike Sattler.

Contributor(s): Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Ulrike [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Artificial Intelligence: 7364Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Edition: 1st ed. 2012.Description: XIV, 568 p. 90 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642313653.Subject(s): Machine theory | Computer science | Artificial intelligence | Software engineering | Computer science -- Mathematics | Numerical analysis | Formal Languages and Automata Theory | Computer Science Logic and Foundations of Programming | Artificial Intelligence | Software Engineering | Mathematics of Computing | Numerical AnalysisAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record