EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (112 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2145962
Titel Structures for symbolic mathematical reasoning and computation.
Autor Homann, Karsten
Calmet, Jacques
Institution Fakultät für Informatik (INFORMATIK)
Institut für Algorithmen und Kognitive Systeme (IAKS)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erscheinungsvermerk In: Design and implementation of symbolic computation systems. DISCO'96. Ed.: J. Calmet. Berlin 1996. S. 216-227. (Lecture notes in computer science. 1128.)