Hodges, Wilfrid.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
Hodges, Wilfrid.; Queiroz, Ruy.; SpringerLink (Online service); Workshop on Logic, Language, Information and Computation (2008 :)
(書目-語言資料,印刷品)
主題
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematics of Computing.
Logic, Symbolic and mathematical.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Logic, Symbolic and mathematical- Congresses.
Model theory.
Game theory.
Computer Science.