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.
Pages251-252
Number of pages2
ISBN (Print)1-56881-145-4
StatePublished - 2001

ID: 22950055