Treffer 1 – 10 von 10 für Suche 'Helft, Nicolas', Suchdauer: 0,04s 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
    On theorem provers for circumscription

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Extracting answers in circumscription

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Induction as nonmonotonic inference

    Induction as nonmonotonic inference von Helft, Nicolas

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Borges una enciclopedia

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

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


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

    Jorge Luis Borges bibliografía completa von Helft, Nicolas

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert 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] von Helft, Nicolas

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Query answering for circumscription

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: