Techreport298: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Wikipedia python library) |
||
| (Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
| Zeile 14: | Zeile 14: | ||
|Institution=University of Karlsruhe, Institute AIFB | |Institution=University of Karlsruhe, Institute AIFB | ||
|Number=361 | |Number=361 | ||
| − | | | + | |Archivierungsnummer=298 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Projekt= | |Projekt= | ||
| − | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} | ||
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