Giesl, Jurgen.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.