Accueil Publimath  Aide à la recherche     Liste Mots-Clés     Liste Auteurs  Recherche avancée : Classification : Intelligence artificielle (systèmes experts, programmation d'automates, programmes de preuves de théorème, traducteurs, robotique, etc.)
Niveau : Enseignement supérieur
Certification IDDN Valid HTML 4.01 Transitional

103 fiches trouvées Début Précédent Réponses 101 à 103

1011990 LOGORITHMES.Ressource en ligne
1021989 Tangente. N° 9. p. 32-35. Interview : Jean-Jacques Duby.
1031976 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