語系
Schmidt, Renate A.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Second-order quantifier elimination : = foundations, computational aspects and applications /
by:
Szalas, Andrzej, (1958-.); Schmidt, Renate A.; Gabbay, Dov M., (1945-.)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
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.
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.