Seguir
raymond turner
raymond turner
Professor logic and computation Essex University
Dirección de correo verificada de essex.ac.uk
Título
Citado por
Citado por
Año
Logic for artificial intelligence
RW Turner
Prentice Hall PTR, 1984
4261984
Semantics and property theory
G Chierchia, R Turner
Linguistics and Philosophy, 261-302, 1988
3971988
The philosophy of computer science
R Turner, N Angius
203*2013
A theory of properties
R Turner
The Journal of Symbolic Logic 52 (2), 455-472, 1987
1421987
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1401990
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1401990
Properties, Types and Meaning: Volume II: Semantic Issues
G Chierchia, BBH Partee, R Turner
Springer Science & Business Media, 2012
1222012
Constructive foundations for functional languages
R Turner
McGraw-Hill Book Company Limited, 1991
641991
Constructive foundations for functional languages
R Turner
McGraw-Hill Book Company Limited, 1991
641991
Problems in the ontology of computer programs
AH Eden, R Turner
Applied Ontology 2 (1), 13-36, 2007
542007
Properties, propositions and semantic theory
R Turner
Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992
511992
Turner, R.
R Turner
Minds and Machines 21 (2), 135-152, 2011
49*2011
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, 259-288, 1983
451983
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
341998
Programming languages as technical artifacts
R Turner
Philosophy & technology 27 (3), 377-397, 2014
332014
The foundations of specification
R Turner
J. Log. Comput. 15 (5), 623-662, 2005
312005
Types
R Turner
Handbook of logic and language, 535-586, 1997
301997
Computable models
R Turner
Springer, 2009
282009
Understanding programming languages
R Turner
Minds and Machines 17 (2), 203-216, 2007
262007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20