EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (108 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA3038954
Titel Combining theorem proving and symbolic mathematical computing.
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: Integrating symbolic mathematical computation and artificial intelligence. AISMC-2. Ed.: J. Calmet. Berlin 1995. S. 18-29. (Lecture notes in computer science. 958.)