Completeness proofs for logic programming: refutations and derivations for ground clauses
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Siefkes, Dirk 1938-2016 (VerfasserIn), Hofbauer, Dieter (VerfasserIn), Kutsche, Ralf-Detlef 1955- (VerfasserIn)
Format: Buch
Sprache:Deutsch
Veröffentlicht: Berlin Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU 1988
Schriftenreihe:... 1988,23
Umfang:38 Bl. graph. Darst.