Suchergebnisse - Eijck, Jan van

Treffer filtern
  1. 1
    Buchumschlag

    Discourse representation theory
    von Eijck, Jan van 1951-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Formal semantics
    von Eijck, Jan van 1951-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2012
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Quantifiers
    von Eijck, Jan van 1951-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Determiners
    von Eijck, Jan van 1951-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Typed logic with states
    von Eijck, Jan van 1951-

    Veröffentlicht 1997
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Dynamic reasoning without variables
    von Eijck, Jan van 1951-

    Veröffentlicht 1997
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1984
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 2012
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 2000
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Dynamic reasoning without variables
    von Eijck, Jan van 1951-

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1996
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Reasoning about update logic
    von Eijck, Jan van 1951-

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Dynamic modal predicate logic
    von Eijck, Jan van 1951-

    Veröffentlicht 1992
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    The dynamics of description
    von Eijck, Jan van 1951-

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1991
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: