Lecture Notes in Computer Science: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Autexier, Serge; Calmet, Jacques; Delahaye, David; Ion, P.D.F.; Rideau, Laurence; Rioboo, Renaud; Sexton, Alan

Details

Published by: Springer

Publication Date: 2010-06-30

Format: Paperback

ISBN-13: 9783642141270

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

Dimensions: cm xcm

Pages: 471