![]() |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
![]() |
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen ![]() |
Hilfe ![]() |
![]() |
![]() |
![]() |
![]() |
Journal Symbolic Computation 42 (3), 2007, pp. 265-289
Editors | Hoon Hong | |
Publisher: | Elsevier B.V. | |
Address: | Amsterdam-San Diego-Orlando-Tokyo-Singapore | |
Keywords: | high level symbolic languages, functional composition, symbolic integration, mechanized proof procedures, computational chemistry, special functions of mathematical physics | |
URL: |
http://www.sciencedirect.com/science/article/B6WM7-4KXWJT7-1/2/1d31b6af60a5ea1f9a5ecb66f71914e7 | |
![]() |
![]() |
![]() |
![]() |