Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science

S Autexier; J Calmet; D Delahaye; PDF Ion; L Rideau; R Rioboo; Alan Sexton

doi:10.1007/978-3-642-14128-7

Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science

S Autexier
, J Calmet
, D Delahaye
, PDF Ion
, L Rideau
, R Rioboo
, Alan Sexton

Computer Science

Research output: Book/Report › Book

Original language	English
Publisher	Springer
Volume	6167
ISBN (Print)	9783642141270
DOIs	https://doi.org/10.1007/978-3-642-14128-7
Publication status	Published - 1 Jan 2010

Access to Document

10.1007/978-3-642-14128-7

Cite this

@book{2393b4d3bddc4a7786039fbbd6511cf7,

title = "Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science",

author = "S Autexier and J Calmet and D Delahaye and PDF Ion and L Rideau and R Rioboo and Alan Sexton",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-14128-7",

language = "English",

isbn = "9783642141270",

volume = "6167",

publisher = "Springer",

}

TY - BOOK

T1 - Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science

AU - Autexier, S

AU - Calmet, J

AU - Delahaye, D

AU - Ion, PDF

AU - Rideau, L

AU - Rioboo, R

AU - Sexton, Alan

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.1007/978-3-642-14128-7

DO - 10.1007/978-3-642-14128-7

M3 - Book

SN - 9783642141270

VL - 6167

BT - Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science

PB - Springer

ER -