TU Darmstadt / ULB / TUbiblio

On the completeness of SLDENF-resolution

Thielscher, Michael :
On the completeness of SLDENF-resolution.
In: Journal of automated reasoning. 17 (1996), S. 199-214
[Artikel], (1996)

Typ des Eintrags: Artikel
Erschienen: 1996
Autor(en): Thielscher, Michael
Titel: On the completeness of SLDENF-resolution
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of automated reasoning. 17 (1996), S. 199-214
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:00
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen