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.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Computer Science.
Programming Techniques.
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical
Programming Languages, Compilers, Interpreters.