Languages
Sofronie-Stokkermans, Viorica.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
SpringerLink (Online service); Sofronie-Stokkermans, Viorica.; Tinelli, Cesare.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
Sofronie-Stokkermans, Viorica.; SpringerLink (Online service); Peltier, Nicolas.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
Peltier, Nicolas.; Sofronie-Stokkermans, Viorica.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings /
by:
Sofronie-Stokkermans, Viorica.; SpringerLink (Online service); Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Logic, Symbolic and mathematical
Computer Science.
Programming Techniques.
Computer programming.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Artificial Intelligence (incl. Robotics)