Giesl, Jurgen.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
Giesl, Jurgen.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (2005 :)
(Language materials, printed)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
Giesl, Jurgen.; Hahnle, Reiner.; SpringerLink (Online service); IJCAR 2010 ((2010 :)
(Language materials, printed)
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.
Logic Design.
Computer logic- Congresses.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.