Date : 2002
Editeur / Publisher : Clermont-Ferrand : Irem de Clermont-Ferrand , 2002
Type : Livre / Book
Langue / Language : français / French
Microsoft Excel -- logiciel
Arithmétique
Théorèmes -- Démonstration automatique