Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken

Ralf Molitor. Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. PhD thesis, RWTH Aachen, 2000.

Possibly Related Publications

The following publications are possibly variants of this publication: