Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007

M Kauers; Manfred Kerber; R Miner; W Windsteiger

doi:10.1007/978-3-540-73086-6

Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007

M Kauers
, Manfred Kerber
, R Miner
, W Windsteiger

Computer Science

Research output: Book/Report › Book

Original language	English
Publisher	Springer
Volume	LNCS Vol. 4573
ISBN (Print)	9783540730835
DOIs	https://doi.org/10.1007/978-3-540-73086-6
Publication status	Published - 1 Jun 2007

Access to Document

10.1007/978-3-540-73086-6

Cite this

@book{45a1ca496e024c36b0dbb7616dc46e77,

title = "Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007",

author = "M Kauers and Manfred Kerber and R Miner and W Windsteiger",

year = "2007",

month = jun,

day = "1",

doi = "10.1007/978-3-540-73086-6",

language = "English",

isbn = "9783540730835",

volume = "LNCS Vol. 4573",

publisher = "Springer",

}

TY - BOOK

T1 - Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007

AU - Kauers, M

AU - Kerber, Manfred

AU - Miner, R

AU - Windsteiger, W

PY - 2007/6/1

Y1 - 2007/6/1

U2 - 10.1007/978-3-540-73086-6

DO - 10.1007/978-3-540-73086-6

M3 - Book

SN - 9783540730835

VL - LNCS Vol. 4573

BT - Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007

PB - Springer

ER -