Many-sorted resolution
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1989 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 260589 |
| Erscheinungsvermerk | In: Kuenstliche Intelligenz. 5. Fruehjahrsschule, KIFS-87, Guenne 1987. Hrsg.: T. Christaller. Berlin 1989. S. 65- 102. (Informatik-Fachberichte. 202.) |