Schmidt, Renate A.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relations and Kleene Algebra in Computer Science9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
by:
(1998 :); Schmidt, Renate A.; SpringerLink (Online service)
(書目-電子資源)
Automated deduction - CADE-2222nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /
by:
(1998 :); Schmidt, Renate A.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part II /
by:
(1998 :); Benzmüller, Christoph.; Heule, Marijn J. H.; Schmidt, Renate A.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part I /
by:
(1998 :); Benzmüller, Christoph.; Heule, Marijn J. H.; Schmidt, Renate A.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning with analytic tableaux and related methods26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
(1998 :); Nalon, Claudia.; Schmidt, Renate A.; SpringerLink (Online service)
(書目-電子資源)
主題
Algebraic logic
Mathematical Logic and Formal Languages.
Software Engineering.
Computer Science, general.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer science
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science.
Symbolic and Algebraic Manipulation.
Logic machines