Edinburgh Research Explorer

Solving integrals at the method level

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSymbolic Computation and Automated Reasoning 2000
EditorsManfred Kerber, Michael Kohlhase
Place of PublicationNatick, MA, USA
PublisherA. K. Peters, Ltd.
Number of pages2
ISBN (Print)1-56881-145-4
Publication statusPublished - 2001

ID: 22950055