Search

You searched for: Auteur Ion, Patrick D. F. Remove constraint Auteur: Ion, Patrick D. F.
1 entry found
Number of results to display per page

Search Results

1. Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
thumbnail
Full text!
Author:
Autexier, Serge; Association for Computing Machinery-Digital Library.; Calmet, Jacques; Delahaye, David; Ion, Patrick D. F.; Kanade, Takeo; Rideau, Laurence; Rioboo, Renaud; Sexton, Alan P.; Ion, P. D. F.; Sexton, Alan
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book