語系
Hoek, Wiebe van der.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
by:
Bonanno, Giacomo.; Hoek, Wiebe van der.; Lowe, Benedikt.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
Hoek, Wiebe van der.; Holliday, Wesley H.; Wang, Wen-fang.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Computation by Abstract Devices.
Logic
Game theory
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.