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.
Computer Science.
Automatic theorem proving
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical