Mathematical knowledge representation
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1996 |
| Sprache | Deutsch |
| Identifikator | urn:nbn:de:swb:90-AAA3643966 KITopen-ID: 364396 |
| Erscheinungsvermerk | In: Proceedings of the International Workshop Computer Algebra and Applications. Ed.: A. Carriere. Saint-Louis 1992. S. 19.2-19.11. (ISL report. R 109.) |