| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | ISBN: 0-7923-4271-2 urn:nbn:de:swb:90-AAA2142963 KITopen-ID: 214296 |
| Erschienen in | Frontiers of combining systems. Ed.: F. Baader |
| Verlag | Kluwer Academic |
| Seiten | 133 - 146 |
| Serie | Applied logic series ; 3 |