Zoekresultaten
Resultaat 601 - 620 (van 812)
K.R. Apt | Rachel Ben-Eliyahu Meta-variables in logic programming, or the praise of ambivalent syntax
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
F. van Breugel Topological models in comparative semantics
Non-fictie
Engels | 246 pagina's | 1994
Gedrukt boek
William G. Lycan Modality and meaning
Non-fictie
Engels | 335 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1994
Gedrukt boek
M.J. Hollenberg | C.F.M. Vermeulen Counting variables in a dynamic setting
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Johan van Benthem | G. Cepparello Tarskian variations: dynamic parameters in classical semantics
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Johan van Benthem | Dag Westerståhl Directions in generalized quantifier theory
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Institute for Logic, Language and Computation Ellipsis, tense and questions
Non-fictie
Engels | 364 pagina's | ILLC/Department of Philosophy, University of Amsterdam, Amsterdam | 1994
Gedrukt boek
K.R. Apt | M. Gabbrielli | D. Pedreschi A closer look at declarative interpretations
Non-fictie
Engels | 31 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Institute for Logic, Language and Computation Proceedings of the Ninth Amsterdam Colloquium
december 14-17, 1993
Non-fictie
Engels | ILLC/Department of Philosophy, University of Amsterdam, Amsterdam | 1994
Gedrukt boek
V. van Oostrom | F. van Raamsdonk Comparing combinatory reduction systems and higher-order rewrite systems
Non-fictie
Engels | 30 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Hans Kamp | Uwe Reyle From discourse to logic
introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory
Non-fictie
Engels | 713 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1993
Gedrukt boek
David I. Beaver What comes first in dynamic semantics
a compositional, non-representational account of natural language presupposition
Non-fictie
Engels | 88 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
Institute for Logic, Language and Computation Presupposition
Non-fictie
Engels | 242 pagina's | ILLC/Department of Philosophy, University of Amsterdam, Amsterdam | 1993
Gedrukt boek
Anna Siewierska Semantic functions and theta-roles
convergences and divergences
Non-fictie
Engels | 21 pagina's | editors, University of Amsterdam], [Amsterdam | 1993
Gedrukt boek
H. Zantema Termination of term rewriting by semantic labelling
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1993
Gedrukt boek
Nikolai Pankratʹev Completeness of the Lambek calculus with respect to relativized relational semantics
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
Centrum voor Wiskunde en Informatica Differential logic programs: semantics and programming methodologies
Non-fictie
Engels | 49 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Johan van Benthem Quantifiers in the world of types
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
Reinhard Muskens Anaphora and the logic of change
Non-fictie
Engels | Institute for Language Technology and Artificial Intelligence, Tilburg | 1992
Gedrukt boek
Reinhard Muskens Tense and the logic of change
Non-fictie
Engels | Institute for Language Technology and Artificial Intelligence, ITK, Tilburg University, Tilburg | 1992
Gedrukt boek