Solving integrals at the method level

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Symbolic Computation and Automated Reasoning 2000
Editors	Manfred Kerber, Michael Kohlhase
Place of Publication	Natick, MA, USA
Publisher	A. K. Peters, Ltd.
Pages	251-252
Number of pages	2
ISBN (Print)	1-56881-145-4
Publication status	Published - 2001

Access to Document

@inproceedings{378e35efa4704c63bc8ec1b190600a05,

title = "Solving integrals at the method level",

author = "Alex Heneveld and Ewen Maclean and Alan Bundy and Jacques Fleuriot and Alan Smaill",

year = "2001",

language = "English",

isbn = "1-56881-145-4",

pages = "251--252",

editor = "Manfred Kerber and Michael Kohlhase",

booktitle = "Symbolic Computation and Automated Reasoning 2000",

publisher = "A. K. Peters, Ltd.",

}

TY - GEN

T1 - Solving integrals at the method level

AU - Heneveld, Alex

AU - Maclean, Ewen

AU - Bundy, Alan

AU - Fleuriot, Jacques

AU - Smaill, Alan

PY - 2001

Y1 - 2001

M3 - Conference contribution

SN - 1-56881-145-4

SP - 251

EP - 252

BT - Symbolic Computation and Automated Reasoning 2000

A2 - Kerber, Manfred

A2 - Kohlhase, Michael

PB - A. K. Peters, Ltd.

CY - Natick, MA, USA

ER -