Search Results - Eijck, Jan van 1951-

Filter by
  1. 1
    Cover Image

    Discourse representation theory
    by Eijck, Jan van 1951-

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  2. 2
    Cover Image

    Formal semantics
    by Eijck, Jan van 1951-

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  3. 3
    Cover Image

    Games, Actions and Social Software: Multidisciplinary Aspects
    by Eijck, Jan van 1951-

    Published 2012
    Read online
    Electronic eBook


    Saved in:
  4. 4
    Cover Image

    The Haskell road to logic, maths and programming
    by Doets, Kees, Eijck, Jan van 1951-

    Published 2004
    Table of Contents
    Book


    Saved in:
  5. 5
    Cover Image

    Procedural dynamic semantics, verb-phrase ellipsis. and presupposition
    by Eijck, Jan van 1951-, Francez, Nissim

    Published 1993
    Book


    Saved in:
  6. 6
    Cover Image

    Quantifiers
    by Eijck, Jan van 1951-

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  7. 7
    Cover Image

    Determiners
    by Eijck, Jan van 1951-

    Published 1990
    Read online (freely available)
    Book


    Saved in:
  8. 8
    Cover Image

    Typed logic with states
    by Eijck, Jan van 1951-

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Dynamic reasoning without variables
    by Eijck, Jan van 1951-

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Aspects of quantification in natural language
    by Eijck, Jan van 1951-

    Published 1984
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    The Haskell road to logic, maths and programming
    by Doets, Kees, Eijck, Jan van 1951-

    Published 2012
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    The epistemics of encryption
    by Bleeker, Annette, Eijck, Jan van 1951-

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Dynamic reasoning without variables
    by Eijck, Jan van 1951-

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Programming with dynamic predicate logic
    by Eijck, Jan van 1951-

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Ambiguity and reasoning
    by Eijck, Jan van 1951-, Jaspars, Jan

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Reasoning about update logic
    by Eijck, Jan van 1951-

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Dynamic modal predicate logic
    by Eijck, Jan van 1951-, Cepparello, Giovanna

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Dynamic modal predicate logic
    by Eijck, Jan van 1951-

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    The dynamics of description
    by Eijck, Jan van 1951-

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    A sound and complete calculus for update logic
    by Eijck, Jan van 1951-, Vries, Fer-Jan de

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: