Schmidt, Renate A.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated reasoning = 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.. Part I /
by:
IJCAR (Conference) (2024 :); Benzmüller, Christoph.; Schmidt, Renate A.; SpringerLink (Online service); Heule, Marijn J. H.
(書目-電子資源)
Automated reasoning = 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.. Part II /
by:
IJCAR (Conference) (2024 :); Benzmüller, Christoph.; Schmidt, Renate A.; SpringerLink (Online service); Heule, Marijn J. H.
(書目-電子資源)
Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
TABLEAUX (Conference) (2017 :); Schmidt, Renate A.; Nalon, Claudia.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science.