Nichtmonotone Logiken und ein Default-Beweiser

Bibliographische Detailangaben

1. Verfasser:	Schaub, Torsten (VerfasserIn)
Körperschaften:	Institut für Angewandte Informationstechnik (BerichterstatterIn), Technische Hochschule Darmstadt Fachbereich Informatik (BerichterstatterIn), Gesellschaft für Systementwicklung, Prozeß-Programmierung und Computer-Graphik (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	St. Augustin GMD u.a. 1990
Schriftenreihe:	Tasso-Report 6
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!