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