Zoekresultaten
Resultaat 1 - 16 (van 16)
D.J.N. van Eijck | Elias Thijsse Logica voor alfa's en informatici
Algemene inleiding in de logica.
Non-fictie
Nederlands | 363 pagina's | Academic Service, Schoonhoven | 1989
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 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 Typed logic with states
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
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 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 Incremental dynamics
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Johan van Benthem | D.J.N. van Eijck | V. Stebletsova Modal logic, transition systems and processes
Non-fictie
Engels | 43 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
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 | Hans Kamp Representing discourse in context
Non-fictie
Engels | 61 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 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 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 | Fer-Jan de Vries Reasoning about update logic
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Johan van Benthem | D.J.N. van Eijck | A. Frolova Changing preferences
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
D.J.N. van Eijck | G. Cepparello Dynamic modal predicate logic
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek