語系
Bonacina, Maria Paola.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
Automated reasoning and mathematics = essays in memory of William W. McCune /
by:
Stickel, Mark E.; Bonacina, Maria Paola.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
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.