Solving integrals at the method level

Alex Heneveld, Ewen Maclean, Alan Bundy, Jacques Fleuriot, Alan Smaill

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

Cite this