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

Molitor, Ralf

Author:

Citation
BibTeX

Molitor, R., (2003). Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. In: Wagner, D. (Hrsg.), Ausgezeichnete Informatikdissertationen 2000. Bonn: Gesellschaft für Informatik. (S. 119-129).

@inproceedings{mci/Molitor2003,
author = {Molitor, Ralf},
title = {Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken},
booktitle = {Ausgezeichnete Informatikdissertationen 2000},
year = {2003},
editor = {Wagner, Dorothea} ,
pages = { 119-129 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}