語系
Blackburn, Patrick.
概要
| 作品: | 4 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools for teaching logicthird international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings /
by:
(1998 :); Blackburn, Patrick.; SpringerLink (Online service)
(書目-電子資源)
Logic, rationality, and interaction7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /
by:
(1998 :); Blackburn, Patrick.; Guo, Meiyun.; Lorini, Emiliano.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Science Education.
Artificial intelligence
Logic in AI.
Logic
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Appl. in Social and Behavioral Sciences.
Computers and Education.