TY  - BOOK
AU  - Jeuring,Johan
AU  - Campbell,John A
AU  - Carette,Jacques
AU  - Reis,Gabriel Dos
AU  - Sojka,Petr
AU  - Wenzel,Makarius
AU  - Sorge,Volker
TI  - 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 
SN  - 9783642313745
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
KW  - Information Storage and Retrieval
KW  - Artificial intelligence
UR  - http://dx.doi.org/10.1007/978-3-642-31374-5
ER  -