Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

J.T. Jeuring; J.A. Campbell; J. Carette; G. Dos Reis; P. Sojka; M. Wenzel; V. Sorge

Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

J.T. Jeuring, J.A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, V. Sorge

extern

Research output: Book/Report › Book editing › Academic › peer-review

Original language	Undefined/Unknown
Place of Publication	Bremen
Publisher	Springer
Volume	7362
Edition	Lecture Notes in Computer Science
ISBN (Print)	978-3-642-31373-8
Publication status	Published - 2012

Bibliographical note

DBLP:conf/aisc/2012

Cite this

Jeuring, J. T., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., & Sorge, V. (2012). Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. (Lecture Notes in Computer Science ed.) Springer.

Jeuring, J.T. ; Campbell, J.A. ; Carette, J. et al. / Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science ed. Bremen : Springer, 2012.

@book{25fca3779bc74734b9d01cea593cfa6f,

title = "Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings",

author = "J.T. Jeuring and J.A. Campbell and J. Carette and {Dos Reis}, G. and P. Sojka and M. Wenzel and V. Sorge",

note = "DBLP:conf/aisc/2012",

year = "2012",

language = "Undefined/Unknown",

isbn = "978-3-642-31373-8",

volume = "7362",

publisher = "Springer",

edition = "Lecture Notes in Computer Science",

}

Jeuring, JT, Campbell, JA, Carette, J, Dos Reis, G, Sojka, P, Wenzel, M & Sorge, V 2012, Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. vol. 7362, Lecture Notes in Computer Science edn, Springer, Bremen.

Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. / Jeuring, J.T.; Campbell, J.A.; Carette, J. et al.
Lecture Notes in Computer Science ed. Bremen: Springer, 2012.

Research output: Book/Report › Book editing › Academic › peer-review

TY - BOOK

T1 - Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

AU - Jeuring, J.T.

AU - Campbell, J.A.

AU - Carette, J.

AU - Dos Reis, G.

AU - Sojka, P.

AU - Wenzel, M.

AU - Sorge, V.

N1 - DBLP:conf/aisc/2012

PY - 2012

Y1 - 2012

M3 - Book editing

SN - 978-3-642-31373-8

VL - 7362

BT - Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

PB - Springer

CY - Bremen

ER -

Jeuring JT, Campbell JA, Carette J, Dos Reis G, Sojka P, Wenzel M et al. Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science ed. Bremen: Springer, 2012.