Suchergebnisse - Rijke, Maarten de

Treffer filtern
  1. 1
    Buchumschlag

    Modal logic
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Modal logic
    von Blackburn, Patrick 1959-, Rijke, Maarten de 1961-, Venema, Yde 1963-

    Veröffentlicht 2001
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Why combine logics?
    von Blackburn, Patrick 1959-, Rijke, Maarten de

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A proof system for finite trees
    von Blackburn, Patrick 1959-, Meyer-Viol, Wilfried, Rijke, Maarten de

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Zooming in, zooming out
    von Blackburn, Patrick 1959-, Rijke, Maarten de

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Relational methods in logic, language and information
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A tableau calculus for pronoun resolution
    von Monz, Christof, Rijke, Maarten de

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The algebra of modal logic
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Extending modal logic
    von Rijke, Maarten de

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Modal logic
    von Blackburn, Patrick 1959-

    Veröffentlicht 2001
    Weitere beteiligte Personen: “… Rijke, Maarten de …”
    Online lesen
    E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Modal logic
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

    Veröffentlicht 2010
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Modal model theory
    von Rijke, Maarten de

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Relational methods in logic, language and information
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Meeting some neighbours
    von Rijke, Maarten de

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Modal logic
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Modal logic
    von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Prefixed resolution: a resolution method for modal and description logics
    von Areces, Carlos, Nivelle, Hans de 1967-, Rijke, Maarten de

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    A resolution calculus for dynamic semantics
    von Monz, Christof, Rijke, Maarten de

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    A tableaux calculus for ambiguous quantification
    von Monz, Christof, Rijke, Maarten de

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Why combine logics?
    von Blackburn, Patrick 1959-, Rijke, Maarten de

    Veröffentlicht 1995
    Buch


    Gespeichert in:

Suchwerkzeuge: