語系
Pacuit, Eric.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Neighborhood semantics for modal logic
by:
Pacuit, Eric.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Games, norms and reasons = logic at the crossroads /
by:
Benthem, Johan van.; SpringerLink (Online service); Gupta, Amitabha.; Pacuit, Eric.
(書目-語言資料,印刷品)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); He, Xiangdong.; Horty, John.; Pacuit, Eric.; SpringerLink (Online service)
(書目-語言資料,印刷品)
At the intersection of language, logic, and information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers /
by:
SpringerLink (Online service); Sikos, Jennifer.; Pacuit, Eric.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
At the Intersection of Language, Logic, and Information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers /
by:
SpringerLink (Online service); Pacuit, Eric.; Sikos, Jennifer.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Knowledge representation (Information theory) .
Computer logic.
Knowledge based Systems.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Natural language processing (Computer science).
Mathematics of Computing.
Computer Science.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science
Artificial intelligence
Computer logic
Game theory
Information storage and retrieval.
Logic, Symbolic and mathematical.
Natural Language Processing (NLP).
Logic
Natural Language Processing (NLP)
Information Storage and Retrieval.
Game Theory, Economics, Social and Behav. Sciences.
Discrete Mathematics in Computer Science.
Game Theory/Mathematical Methods.
Philosophy.
Mathematical and Computational Engineering.