語系
Ditmarsch, Hans van.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
One hundred prisoners and a light bulb
by:
Kooi, Barteld.; Ditmarsch, Hans van.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
SpringerLink (Online service); Ditmarsch, Hans van.; Lang, Jerome.; Ju, Shier.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Popular Science.
Artificial intelligence
Game theory
Symbolic and Algebraic Manipulation.
Logic, Symbolic and mathematical
Popular Science in Mathematics.
Theory of Computation.
Logic
Discrete Mathematics in Computer Science.
Computer Science.
Logic puzzles.
Logic.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.