Accueil Publimath  Aide à la recherche  Requête : "programme informatique"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
74 fiches trouvées Début Précédent Réponses 61 à 74

611990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. Gerbert d'Aurillac. Le savant, le maître, le mathématicien. p. 257-286.
621990 Ecriture automatique de démonstrations en géométrie.Ressource en ligne
631990 L'Ouvert. N° 60.Ressource en ligne
641990 L'Ouvert. N° 60. p. 10-17. Comment compiler ou interpréter une expression arithmétique (suite).Ressource en ligne
651990 L'Ouvert. N° 59.Ressource en ligne
661990 L'Ouvert. N° 59. p. 27-47. Comment compiler ou interpréter une expression arithmétique.Ressource en ligne
671989 Bulletin de l'APMEP. N° 369. p. 307-316. De la réversion des séries formelles.Ressource en ligne
681988 Tangente. N° 8. p. 31-33. La machine peut-elle démontrer ?
691987 RMS. Revue de mathématiques spéciales. Vol. 98. N° 4. p. 152-157. Pfaffien.Ressource en ligne
701985 Petit x. N° 8. p. 71-71. Un utilitaire pour le TO7.Ressource en ligne
711985 Petit x. N° 8. p. 51. Un utilitaire pour TO7. Catalogue disquette sur écran ou sur imprimante.Ressource en ligne
721984 Bulletin de l'APMEP. N° 344. p. 341-357. Mathématiques à la volée dans un L.E.P. du bâtiment.Ressource en ligne
731978 Sensibilisation aux structures de données.Ressource en ligne
741976 Bulletin de l'APMEP. N° 302. p. 93-106. Démonstration mathématique de théorèmes et enseignement des mathématiques.Ressource en ligne