Terminological logics with model operators

Bibliographische Detailangaben

1. Verfasser:	Baader, Franz (VerfasserIn)
Weitere Verfasser:	Laux, Armin (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern u.a. 1994
Schriftenreihe:	Research report / Deutsches Forschungszentrum für Künstliche Intelligenz 94,33
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!