Zoeken

U zocht naar: Auteur Autexier, Serge Filter Auteur: Autexier, Serge weghalen Taal Engels Filter Taal: Engels weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Intelligent Computer Mathematics
thumbnail
Full text!
Auteur:
Autexier, Serge; Campbell, John; Rubio, Julio; Siekmann, Jörg; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
2. Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
thumbnail
Full text!
Auteur:
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
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book