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

Research output: Book/Report › Book

Standard

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. / Autexier, S; Calmet, J; Delahaye, D; Ion, PDF; Rideau, L; Rioboo, R; Sexton, Alan.

Springer, 2010.

Research output: Book/Report › Book

Harvard

Autexier, S, Calmet, J, Delahaye, D, Ion, PDF, Rideau, L, Rioboo, R & Sexton, A 2010, 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. vol. 6167, Springer. https://doi.org/10.1007/978-3-642-14128-7

APA

Autexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R., & Sexton, A. (2010). 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. Springer. https://doi.org/10.1007/978-3-642-14128-7

Vancouver

Autexier S, Calmet J, Delahaye D, Ion PDF, Rideau L, Rioboo R et al. 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. Springer, 2010. https://doi.org/10.1007/978-3-642-14128-7

Author

Autexier, S ; Calmet, J ; Delahaye, D ; Ion, PDF ; Rideau, L ; Rioboo, R ; Sexton, Alan. / 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. Springer, 2010.

Bibtex

@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",

}

RIS

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 -