Languages
Fontaine, Pascal.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
by:
Fontaine, Pascal.; SpringerLink (Online service)
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
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.