Showing 1 - 10 results of 10 for search 'Helft, Nicolas', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    On theorem provers for circumscription

    On theorem provers for circumscription by Inoue, Katsumi, Helft, Nicolas

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Extracting answers in circumscription

    Extracting answers in circumscription by Helft, Nicolas, Inoue, Katsumi, Poole, David

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Induction as nonmonotonic inference

    Induction as nonmonotonic inference by Helft, Nicolas

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Borges una enciclopedia

    Borges una enciclopedia by Balderston, Daniel, Gallo, Gastón Sebastián Martín, Helft, Nicolas

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Jorge Luis Borges bibliografía completa

    Jorge Luis Borges bibliografía completa by Helft, Nicolas

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    A note on proof procedures for nonmonotonic reasoning systems

    A note on proof procedures for nonmonotonic reasoning systems by Helft, Nicolas, Inoue, Katsumi

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Jorge Luis Borges bibliografía e índice

    Jorge Luis Borges bibliografía e índice by Helft, Nicolás 1958-

    Published 2013
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    El factor Borges nueve ensayos ilustrados

    El factor Borges nueve ensayos ilustrados by Helft, Nicolas, Pauls, Alan 1959-

    Published 2000
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Jorge Luis Borges: bibliografía completa [una herramienta fundamental para investigadores, profesores, estudiantes, bibliotecarios y libreros]

    Jorge Luis Borges: bibliografía completa [una herramienta fundamental para investigadores, profesores, estudiantes, bibliotecarios y libreros] by Helft, Nicolas

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Query answering for circumscription

    Query answering for circumscription by Helft, Nicolas, Inoue, Katsumi, Poole, David

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: