語系
Ju, Shier.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Cultures of mathematics and logicselected papers from the Conference in Guangzhou, China, November 9-12, 2012 /
by:
(1998 :); Ju, Shier.; SpringerLink (Online service)
(書目-電子資源)
Modality, semantics and interpretationsthe second Asian Workshop on Philosophical Logic /
by:
(1998 :); Ju, Shier.; Liu, Hu.; Ono, Hiroakira.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
Nonclassical logics and their applicationspost-proceedings of the 8th International Workshop on Logic and Cognition /
by:
(1998 :); Ju, Shier.; Ma, Minghui.; Palmigiano, Alessandra.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Philosophy.
Logic.
Logics and Meanings of Programs.
Mathematics
Cognition
Logic
Artificial Intelligence (incl. Robotics)
Mathematics.
History of Mathematical Sciences.
Theoretical Linguistics.
Game theory
Computer Science.
Discrete Mathematics in Computer Science.
Game Theory, Economics, Social and Behav. Sciences.
Syntax.
Symbolic and Algebraic Manipulation.
Mathematical Models of Cognitive Processes and Neural Networks.