raymond turner
raymond turner
Professor logic and computation Essex University
Потвърден имейл адрес: essex.ac.uk
Заглавие
Позовавания
Позовавания
Година
Logics for artificial intelligence
R Turner
4131984
Logics for artificial intelligence
R Turner
4131984
Semantics and property theory
G Chierchia, R Turner
Linguistics and Philosophy 11 (3), 261-302, 1988
3411988
A theory of properties
R Turner
The Journal of Symbolic Logic 52 (2), 455-472, 1987
1351987
The philosophy of computer science
R Turner, N Angius
132*2013
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1271990
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1271990
Properties, Types and Meaning: Volume II: Semantic Issues
G Chierchia, BBH Partee, R Turner
Springer Science & Business Media, 2012
1152012
Constructive foundations for functional languages
R Turner
McGraw-Hill Book Company Limited, 1991
631991
Constructive foundations for functional languages
R Turner
McGraw-Hill Book Company Limited, 1991
631991
Problems in the ontology of computer programs
AH Eden, R Turner
Applied Ontology 2 (1), 13-36, 2007
502007
Properties, propositions and semantic theory
R Turner
Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992
501992
Computational linguistics and formal semantics
M Rosner, R Johnson
Cambridge University Press, 1992
491992
Montague semantics, nominalization and Scott's domains
R Turner
Linguistics and Philosophy 6 (2), 259-288, 1983
471983
Turner, R.
R Turner
Minds and Machines 21 (2), 135-152, 2011
30*2011
YPA—an intelligent directory enquiry assistant
A De Roeck, U Kruschwitz, P Neal, P Scott, S Steel, R Turner, N Webb
BT Technology Journal 16 (3), 145-154, 1998
291998
Types
R Turner
Handbook of logic and language, 535-586, 1997
291997
The foundations of specification
R Turner
J. Log. Comput. 15 (5), 623-662, 2005
262005
Computable models
R Turner
Springer London, 2009
232009
Towards a programming language ontology
R Turner, AH Eden
na, 2007
232007
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20