Techreport298: Unterschied zwischen den Versionen
Aus Aifbportal
K (Wikipedia python library) |
(kein Unterschied)
|
Aktuelle Version vom 16. Oktober 2009, 17:24 Uhr
Verifying Knowledge-Based Systems with KIV
Published: 1997
Mai
Nummer: 361
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 298
Forschungsgruppe
Forschungsgebiet