Programmeren in Turbo Pascal / Jan van EijckProgrammeren in Turbo Pascal / Jan van EijckObject-gericht programmeren in Turbo-Pascal 5.5. / Jan van EijckLogica voor alfa's en informatici / Jan van Eijck & Elias ThijsseGames and representations / [by] Jan van EijckFormal semantics / D.J.N. van EijckDiscourse representation theory / D.J.N. van EijckQuantifiers / D.J.N. van EijckDeterminers / D.J.N. van EijckDynamic interpretation and Hoare deduction / D.J.N. van Eijck, F.-J. de VriesThe dynamics of description / D.J.N. van EijckFilosofie : een inleiding / [door] Jan van EijckA sound and complete calculus for update logic / D.J.N. van Eijck, F.-J. de VriesQuantification and partiality / D.J.N. van EijckProgramming in PROLOG : an introduction / Jan van EijckDynamic modal predicate logic / D.J.N. van Eijck, G. CepparelloProcedural dynamic semantics, verb-phrase ellipsis, and presupposition / D.J.N. van Eijck, N. FrancezReasoning about update logic / D.J.N. van Eijck, F.-J. de VriesPresuppositions and information updating / D.J.N. van EijckRepresenting discourse in context / D.J.N. van Eijck, H. KampAmbiguity and reasoning / D.J.N. van Eijck, J. JasparsFilosofie : een inleiding / Jan van EijckTyped logic with states / Jan van EijckTyped logics with states / D.J.N. van EijckDynamic reasoning without variables / Jan van EijckDynamic reasoning without variables / D.J.N. van EijckAxiomatising dynamic logics for anaphora / Jan van EijckIncremental dynamics / Jan van EijckProgramming with dynamic predicate logic / Jan van EijckProgramming with dynamic predicate logic / D.J.N. van EijckIncremental dynamics / D.J.N. van EijckAxiomatising dynamic logics for anaphora / D.J.N. van EijckFilosofie : een inleiding / Jan van EijckOn the proper treatment of context in NL / D.J.N. van EijckTheorem proving and programming with dynamic first order logic / D.J.N. van Eijck, J.M. Heguiabehere, B. Ó NualláinNormal forms for characteristic functions on n-ary relations / D.J.N. van EijckSyllogistics= monotonicity+ symmetry+ existential import / D.J.N. van EijckInzien en bewijzen / Jan van Eijck en Albert VisserNieuwe filosofie / Jan van EijckFilosofie: een inleiding / Jan van Eijck
author
Computational linguistics in The Netherlands : papers from the second CLIN-meeting (CWI, Amsterdam, November 29, 1991) / Jan van Eijck & Wilfried Meyer Viol edChanging preferences / J. van Benthem, D.J.N. van Eijck, A. FrolovaA strategy for dynamic interpretation : a fragment and an implementation / O. Bouchez, D.J.N. van Eijck, O. IstaceModal logic, transition systems and processes / J. van Benthem, D.J.N. van Eijck, V. StebletsovaBasic quantifier theory / Jaap van der Does, Jan van EijckThe epistemics of encryption / Annette Bleeker, Jan van EijckThe epistemics of encryption / A.M. Bleeker, D.J.N. van EijckDenkende machines : computers, rekenen, redeneren / Jan van Eijck ... [et al.]Logics of communication and change / Johan van Benthem, Jan van Eijck, Barteld KooiCentre for Language and Cognition Groningen, 1998-2003 / [Jan van Eijck ... et al. ; photogr. Elmer Spaargaren]Discourses on social software / ed. by Jan van Eijck, Rineke VerbruggeLogica in actie / Johan van Benthem, Hans van Ditmarsch, Jan van EijckDiscourses on social software / edited by Jan van Eijck, Rineke VerbruggeLogica in actie / Johan van Benthem, Hans van Ditmarsch, Jan van EijckDiscourses on social software / ed. by Jan van Eijck, Rineke VerbruggeFilosofiedag Groningen : kongresbundel : lezingen gehouden op de Vijfde Nederlandse Filosofiedag / samengesteld door: Frank Abspoel en Jan van EijckKongresbundel : Filosofiedag Groningen : lezingen gehouden op de vijfde Nederlandse Filosofiedag , [1 Oktober 1983] / samengesteld door Frank Abspoel en Jan van Eijck