Schmidt, Renate A.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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.