Search Results - Blackburn, Patrick 1959-

Filter by
  1. 1
    Cover Image

    Modal logic
    by Blackburn, Patrick 1959-

    Published 2001
    Read online
    eBook


    Saved in:
  2. 2
    Cover Image

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

    Published 2001
    Book


    Saved in:
  3. 3
    Cover Image

    Representation and inference for natural language: a first course in computational semantics
    by Blackburn, Patrick 1959-, Bos, Johan 1968-

    Published 2005
    Table of Contents
    Book


    Saved in:
  4. 4
    Cover Image

    Learn Prolog now!
    by Blackburn, Patrick 1959-, Bos, Johan 1968-, Striegnitz, Kristina 1974-

    Published 2006
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Hybrid logics: characterization, interpolation and complexity
    by Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    A specification language for lexical functional grammars
    by Blackburn, Patrick 1959-, Gardent, Claire

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Hybrid languages
    by Blackburn, Patrick 1959-, Seligman, Jerry

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 2001
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Read online (LMU)

    Available at the library of LMU.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  11. 11
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

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

    Published 2005
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Tableau for quantified hybrid logic
    by Blackburn, Patrick 1959-, Marx, Maarten

    Published 2003
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 2002
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Situation calculus as hybrid logic: first steps
    by Blackburn, Patrick 1959-, Marx, Maarten

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    Talking about trees
    by Blackburn, Patrick 1959-, Gardent, Claire, Meyer-Viol, Wilfried

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: