Nichtmonotone Logiken eine Untersuchung der Formalisierungen nichtmonotoner Schlußweisen und die Implementation eines nichtmonotonen Reasoning-Systems : [Mit engl. Zsfassung]

Bibliographische Detailangaben

1. Verfasser:	Brewka, Gerhard (VerfasserIn)
Körperschaft:	Institut für Informatik, Universität Bonn (BerichterstatterIn)
Weitere Verfasser:	Wittur, Karl-Heinz (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Bonn Inst., Univ. 1984
Schriftenreihe:	Informatik-Berichte 40
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!