語系
Blackburn, Patrick.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Modeling and using context = 8th international and interdisciplinary conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Blackburn, Patrick.; SpringerLink (Online service); Dapoigny, Richard.; Brezillon, Patrick.
(書目-語言資料,印刷品)
Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings /
by:
Blackburn, Patrick.; Lorini, Emiliano.; Guo, Meiyun.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools for teaching logic = third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings /
by:
Blackburn, Patrick.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer logic.
Artificial intelligence.
Computers and Education.
Context (Linguistics)
Computer Appl. in Arts and Humanities.
Logic in AI.
Computer Science.
Science Education.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Application software.
Computer Appl. in Social and Behavioral Sciences.
Computers and Society.
Computer simulation
Logic
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.