Zoekresultaten
Resultaat 1 - 10 (van 10)
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
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