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