Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken. Tl. 1. Seminar WS 89/90

Schmitt, Peter H.; Dix, Juergen; Haehnle, Reiner

Zugehörige Institution(en) am KIT	Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Proceedingsband
Jahr	1990
Sprache	Deutsch
Identifikator	KITopen ID: 8090
Erscheinungsvermerk	Karlsruhe 1990. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1990,13.)