Intelligent Computer Mathematics, Joint Proceedings of AISC 2008, Calculemus 2008, and MKM 2008, Birmingham, UK, 28 July - 1 August, 2008

Research output: Book/Report › Book

Access to Document

@book{4c9ddd27978d4a0481545e37214c2e46,

title = "Intelligent Computer Mathematics, Joint Proceedings of AISC 2008, Calculemus 2008, and MKM 2008, Birmingham, UK, 28 July - 1 August, 2008",

author = "S Autexier and J Campbell and J Rubio and Volker Sorge and M Suzuki and F Wiedijk",

year = "2008",

month = jul,

day = "1",

doi = "10.1007/978-3-540-85110-3",

language = "English",

isbn = "9783540851097",

volume = "LNAI 5144",

publisher = "Springer",

}

TY - BOOK

T1 - Intelligent Computer Mathematics, Joint Proceedings of AISC 2008, Calculemus 2008, and MKM 2008, Birmingham, UK, 28 July - 1 August, 2008

AU - Autexier, S

AU - Campbell, J

AU - Rubio, J

AU - Sorge, Volker

AU - Suzuki, M

AU - Wiedijk, F

PY - 2008/7/1

Y1 - 2008/7/1

U2 - 10.1007/978-3-540-85110-3

DO - 10.1007/978-3-540-85110-3

M3 - Book

SN - 9783540851097

VL - LNAI 5144

BT - Intelligent Computer Mathematics, Joint Proceedings of AISC 2008, Calculemus 2008, and MKM 2008, Birmingham, UK, 28 July - 1 August, 2008

PB - Springer

ER -