Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2016 |
Sprache | Englisch |
Identifikator | ISSN: 1570-8683, 1570-8691 KITopen-ID: 1000058327 |
Erschienen in | Journal of applied logic |
Verlag | Elsevier |
Band | 19 |
Heft | 2 |
Seiten | 102–127 |
Nachgewiesen in | Dimensions Scopus Web of Science |