Languages
Schmidt, Renate A.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Second-order quantifier elimination : = foundations, computational aspects and applications /
by:
Szalas, Andrzej, (1958-.); Schmidt, Renate A.; Gabbay, Dov M., (1945-.)
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Schmidt, Renate A.; Nalon, Claudia.; SpringerLink (Online service)
(Language materials, printed)
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.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Logic, Symbolic and mathematical.
Automatic theorem proving
Programming Languages, Compilers, Interpreters.
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical
Computer Science.
Programming Techniques.