Stage-oe-small.jpg

Techreport298

Aus Aifbportal
Version vom 16. Oktober 2009, 17:24 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche


Verifying Knowledge-Based Systems with KIV




Published: 1997 Mai
Nummer: 361
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 298

BibTeX





Forschungsgruppe

Wissensmanagement


Forschungsgebiet