Languages
Bonacina, Maria Paola.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Automated deduction - CADE-24 = 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings /
by:
Bonacina, Maria Paola.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Automated reasoning and mathematics = essays in memory of William W. McCune /
by:
Stickel, Mark E.; Bonacina, Maria Paola.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer logic.
Math Applications in Computer Science.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Automatic theorem proving
Logic, Symbolic and mathematical
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.