語系
Fontaine, Pascal.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
by:
Fontaine, Pascal.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Frontiers of combining systems = 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings /
by:
Fontaine, Pascal.; Workshop on the Preservation of Stability under Discretization ((2001 :); Schmidt, Renate A.; Ringeissen, Christophe.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
Logic, Symbolic and mathematical
Computer system failures.
Computer Science.
Programming Techniques.
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.