AIFB Jahresbericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 2000
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsmonat/-jahr | 07.2001 |
| Sprache | Deutsch |
| Identifikator | urn:nbn:de:swb:90-AAA28720024 KITopen-ID: 2872002 |
| Umfang | 109 S. |
| Erscheinungsvermerk | Karlsruhe 2001. |
