Alles van: D.J.N. van Eijck
Resultaat 1 - 20 (van 38)
D.J.N. van Eijck Twijfelen aan de werkelijkheid
een boek voor chaotische tijden
Beschouwing over de werkelijkheid, met technieken om zin van onzin te onderscheiden. Met zwart-witillustraties.
Non-fictie
Nederlands | 309 pagina's | Walburg Pers, Zutphen | 2023
Gedrukt boek
D.J.N. van Eijck Nieuwe filosofie
Non-fictie
Nederlands | 40 pagina's | De Buitenkant], [Amsterdam | 2013
Gedrukt boek
Johan van Benthem | Hans van Ditmarsch | D.J.N. van Eijck Logica in actie
Inleiding tot enkele centrale ideeën en vaardigheden uit de formele logica.
Non-fictie
Nederlands | 116 pagina's | Academic Service, Den Haag | 2009
Gedrukt boek
D.J.N. van Eijck Syllogistics= monotonicity+ symmetry+ existential import
Non-fictie
Engels | 15 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Johan van Benthem | D.J.N. van Eijck | Barteld Kooi Logics of communication and change
Non-fictie
Engels | 33 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
D.J.N. van Eijck | A. Visser Inzien en bewijzen
Behandeling van bewijzen in de wiskunde vanaf Euclides tot en met Automath.
Non-fictie
Nederlands | 112 pagina's | Amsterdam University Press, Amsterdam | 2005
Gedrukt boek
D.J.N. van Eijck Normal forms for characteristic functions on n-ary relations
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
D.J.N. van Eijck On the proper treatment of context in NL
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
Annette Bleeker | D.J.N. van Eijck The epistemics of encryption
Non-fictie
Engels | 31 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
D.J.N. van Eijck | J.M. Heguiabehere | B. Ó Nualláin Theorem proving and programming with dynamic first order logic
Non-fictie
Engels | 39 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
D.J.N. van Eijck Axiomatising dynamic logics for anaphora
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
D.J.N. van Eijck Dynamic reasoning without variables
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
D.J.N. van Eijck Incremental dynamics
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
D.J.N. van Eijck Programming with dynamic predicate logic
Non-fictie
Engels | 39 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
D.J.N. van Eijck Typed logic with states
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
D.J.N. van Eijck | Hans Kamp Representing discourse in context
Non-fictie
Engels | 61 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
D.J.N. van Eijck | J. Jaspars Ambiguity and reasoning
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Jaap van der Does | D.J.N. van Eijck Basic quantifier theory
Non-fictie
Engels | 45 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
D.J.N. van Eijck Presuppositions and information updating
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
D.J.N. van Eijck | Nissim Francez Procedural dynamic semantics, verb-phrase ellipsis, and presupposition
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek