語系
Pacuit, Eric.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
At the intersection of language, logic, and informationESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers /
by:
(1998 :); Pacuit, Eric.; Sikos, Jennifer.; SpringerLink (Online service)
(書目-電子資源)
Games, norms and reasonslogic at the crossroads /
by:
Benthem, Johan van.; Gupta, Amitabha.; Pacuit, Eric.; SpringerLink (Online service)
(書目-電子資源)
Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(1998 :); He, Xiangdong.; Horty, John.; Pacuit, Eric.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Foundations.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logic.
Philosophy.
Game Theory/Mathematical Methods.
Computer logic.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Mathematics of Computing.
Logic
Computer logic
Knowledge based Systems.
Information Storage and Retrieval.
Game theory
Mathematical and Computational Engineering.
Computer science
Discrete Mathematics in Computer Science.
Computer Science.
Game Theory, Economics, Social and Behav. Sciences.
Symbolic and Algebraic Manipulation.