Giesl, Jurgen.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Term Rewriting and Applications16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(1998 :); Giesl, Jurgen.; SpringerLink (Online service)
(Electronic resources)
Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(1998 :); Giesl, Jurgen.; Hahnle, Reiner.; SpringerLink (Online service)
(Electronic resources)
Subjects
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Programming Languages, Compilers, Interpreters.
Computer logic
Logic Design.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.