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/ReportBook

Standard

Harvard

APA

Vancouver

Author

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 -