Suchergebnisse - Helft, Nicolas

  • Treffer 1 – 10 von 10
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Induction as nonmonotonic inference
    von Helft, Nicolas

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Jorge Luis Borges: bibliografía completa
    von Helft, Nicolas

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:

Suchwerkzeuge: