Representation of mathematical knowledge
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1991 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 166991 |
| Erscheinungsvermerk | In: Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems, Charlotte, USA 1991. Ed.: Z.W. Ras. Berlin 1991. S. 469-478. (Lecture notes in artificial intelligence. 542.) |