Languages
Ditmarsch, Hans van.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
One hundred prisoners and a light bulb
by:
Ditmarsch, Hans van.; Kooi, Barteld.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.