Languages
Blackburn, Patrick.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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)
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
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.