| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 01.07.1996 |
| Sprache | Englisch |
| Identifikator | ISSN: 0018-9162, 1558-0814 urn:nbn:de:swb:90-AAA3291960 KITopen-ID: 329196 |
| Erschienen in | Computer |
| Verlag | IEEE Computer Society |
| Band | 29 |
| Heft | 7 |
| Seiten | 41-48 |
| Erscheinungsvermerk | Computer, IEEE Comput. Soc. 29 (1996) H. 7 S. 41-48. |
| Externe Relationen | Siehe auch Siehe auch Siehe auch |