Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 1992 |
Sprache | Englisch |
Identifikator | ISSN: 0723-0508 KITopen-ID: 1000093456 |
Erschienen in | Sisyphus ́91: Models of Problem Solving, Ed.: M. Linster |
Verlag | Gesellschaft für Mathematik und Datenverarbeitung |
Serie | Arbeitspapiere der GMD ; 663 |