語系
Giesl, Jurgen.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Giesl, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Hahnle, Reiner.; Giesl, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial Intelligence (incl. Robotics)
Computer logic
Rewriting systems (Computer science)
Symbolic and Algebraic Manipulation.
Programming Languages, Compilers, Interpreters.
Automatic theorem proving
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic Design.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.