Treffer 1 – 20 von 49 für Suche 'Eijck, Jan van 1951-', Suchdauer: 0,09s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The Haskell road to logic, maths and programming

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

    Veröffentlicht 2012
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The epistemics of encryption

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

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Dynamic reasoning without variables

    Dynamic reasoning without variables von Eijck, Jan van 1951-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Programming with dynamic predicate logic

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

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Typed logic with states

    Typed logic with states von Eijck, Jan van 1951-

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Dynamic reasoning without variables

    Dynamic reasoning without variables von Eijck, Jan van 1951-

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Ambiguity and reasoning

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Reasoning about update logic

    Reasoning about update logic von Eijck, Jan van 1951-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Dynamic modal predicate logic

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Dynamic modal predicate logic

    Dynamic modal predicate logic von Eijck, Jan van 1951-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    The dynamics of description

    The dynamics of description von Eijck, Jan van 1951-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A sound and complete calculus for update logic

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Dynamic interpretation and Hoare deduction

    Dynamic interpretation and Hoare deduction von Eijck, Jan van 1951-, Vries, Fer-Jan de

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Discourse representation theory

    Discourse representation theory von Eijck, Jan van 1951-

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Axiomatising dynamic logics for anaphora

    Axiomatising dynamic logics for anaphora von Eijck, Jan van 1951-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Incremental dynamics

    Incremental dynamics von Eijck, Jan van 1951-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Typed logics with states

    Typed logics with states von Eijck, Jan van 1951-

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Representing discourse in context

    Representing discourse in context von Eijck, Jan van 1951-, Kamp, Hans

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Ambiguity and reasoning

    Ambiguity and reasoning von Eijck, Jan van 1951-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Basic quantifier theory

    Basic quantifier theory von Does, Jaap van der, Eijck, Jan van 1951-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: