Beitrag in einem Sammelband
Symbolic Computation Software Composability
Details zur Publikation
Autor(inn)en: | Freundt, S.; Horn, P.; Konovalov, A.; Linton, S.; Roozemond, D. |
Herausgeber: | S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk |
Verlag: | Springer |
Verlagsort / Veröffentlichungsort: | Berlin |
Publikationsjahr: | 2008 |
Seitenbereich: | 285-295 |
Buchtitel: | Intelligent Computer Mathematics |
Titel der Buchreihe: | Lecture Notes in Computer Science, Vol. 5144 |