Zoekresultaten
Resultaat 821 - 840 (van 1047)
A. Eliëns | E.P. de Vink Asynchronous rendez-vous in distributed logic programming
Non-fictie
Engels | 30 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
R.P. Nederpelt | F. Kamareddine On stepwise explicit substitution
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek
Víctor Sánchez Valencia Lambek grammar
an information-based categorial grammar
Non-fictie
Engels | 32 pagina's | Institute for Language, Logic and Information, Amsterdam | 1992
Gedrukt boek
R. Hoofman Information systems as coalgebras
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
P.H. Rodenburg Interpolation in equational logic
Non-fictie
Engels | 14 pagina's | University of Amsterdam, Programming Research Group, Amsterdam | 1992
Gedrukt boek
Gerard Vreeswijk The computational value of debate in defeasible reasoning
Non-fictie
Engels | 41 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
Johan van Benthem Language in action
categories, lambdas and dynamic logic
Non-fictie
Engels | 349 pagina's | North-Holland, Amsterdam [etc.] | 1991
Gedrukt boek
Hans Hellendoorn Reasoning with fuzzy logic
Non-fictie
Engels | 142 pagina's | NLR, Amsterdam | 1991
Gedrukt boek
Makoto Kanazawa The Lambek calculus enriched with additional connectives
Non-fictie
Engels | 23 pagina's | University of Amsterdam, Institute for Language, Logic and Information, Amsterdam | 1991
Gedrukt boek
C.F.M. Vermeulen Merging without mystery, or, Variables in dynamic semantics
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
Frans Voorbraak Generalized Kripke models for epistemic logic
Non-fictie
Engels | Department of Philosophy, University of Utrecht, Utrecht | 1991
Gedrukt boek
R. Sommerhalder | S.C. van Westrhenen Resolution in modal propositional logic
Non-fictie
Engels | 45 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1991
Gedrukt boek
Gerard Vreeswijk Defeasible argumentation in nonmonotonic reasoning
examples and applications
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
Huang Zhisheng Logics for belief dependence
Non-fictie
Engels | 19 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
M. de Rijke The modal logic of inequality
Non-fictie
Engels | 18 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
Serge Lapierre A functional partial semantics for intensional logic
Non-fictie
Engels | 33 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
Johan van Benthem General dynamics
Non-fictie
Engels | 43 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
Gennaro Chierchia Anaphora and dynamic logic
Non-fictie
Engels | 42 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1990
Gedrukt boek
Gennaro Chierchia The variability of impersonal subjects
Non-fictie
Engels | 29 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1990
Gedrukt boek
Jaap van der Does A generalized quantifier logic for naked infinitives
Non-fictie
Engels | 47 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1990
Gedrukt boek