Giesl, Jurgen.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Term Rewriting and Applications16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(1998 :); Giesl, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(1998 :); Giesl, Jurgen.; Hahnle, Reiner.; SpringerLink (Online service)
(書目-電子資源)
主題
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.