Patrick Blackburn

Identifiers

Open LibraryOL2766532A

Top Subjects

Mathematics (3)
General Theory of Computing (3)
Linguistics (3)
Mathematical theory of computation (2)
Modality (Logic) (2)
General (2)
Computers / Programming / Software Development (2)

Books by Patrick Blackburn

Total count: 15

Nominal tense logic.

University of Edinburgh, Centre for Cognitive Science1990-01-01
Nominal tense logic and other sorted intensional frameworks.

1990-01-01
Logic, Language and Computation

CSLI Publications/Center for the Study of Language & Information2000-01-01
Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press2001-06-28
Modal LogicNew Ed edition

Cambridge University Press2002-11-15
Representation and Inference for Natural LanguageA First Course in Computational Semantics (Center for the Study of Language and Information - Lecture Notes)New Ed edition

Center for the Study of Language and Inf2005-04-06
Representation and Inference for Natural LanguageA First Course in Computational Semantics (Center for the Study of Language and Information - Lecture Notes)

Center for the Study of Language and Inf2005-04-06
Handbook of Modal Logic

Elsevier Science & Technology Books2006-01-01
Learn Prolog Now!

College Publications2006-06-30
Tools for Teaching LogicThird International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

Springer Berlin Heidelberg2011-01-01
Cupid Missed

CreateSpace Independent Publishing Platform2012-01-01
Modeling and Using Context8th International and Interdisciplinary Conference, Context 2013, Annecy, France, October 2013, Proceedings

Springer Berlin / Heidelberg2013-01-01
Modeling and Using Context8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings

Springer2013-01-01
Logic, Rationality, and Interaction7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Springer2019-09-15
Specifying Syntactic Structures

CSLI Publications/Center for the Study of Language & Information2022-01-01