Theorems and algorithms: an interface between Isabelle and Maple
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA3035952 KITopen-ID: 303595 |
| Erscheinungsvermerk | In: Proceedings. International Symposium on Symbolic and Algebraic Computation, ISSAC'95, Montreal, Canada 1995. Ed.: A. Levelt. ACM Pr. 1995. S. 150-157. |