Détails à propos de : Apprentissage et démonstration automatique de théorèmes

Vue normale Vue MARC vue ISBD

Apprentissage et démonstration automatique de théorèmes / par michel PINTADO

Auteur principal: Auteur, PINTADO, McihelLangue : français.Pays : France.Publication : Paris : université Paris VI, 1994Description : 211p. ; 30cm.Sujet - Nom commun: informatique pour mathématiciens

Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.

Exemplaires
Type de document	Site actuel	Cote	Statut	Date de retour prévue	Code à barres
Thèse, mémoire	IREM P7	PINTADO Thèse (Parcourir l'étagère(Ouvrir ci-dessous))	Disponible		3151

Précédent								Suivant
Précédent	PIHOUE 31 L'entrée dans le monde de pensée fonctionnel en classe de seconde	PILET Parcours d'enseignement différencié appuyés sur un diagnostic en algèbre élémentaire à la fin de la scolarité obligatoire: modélisation, implémentation dans une plateforme en ligne et évaluation	PILET Parcours d'enseignement différencié appuyés sur un diagnostic en algèbre élémentaire à la fin de la scolarité obligatoire: modélisation, implémentation dans une plateforme en ligne et évaluation	PINTADO Thèse Apprentissage et démonstration automatique de théorèmes	PIZARRO CANALES El trabajo geométrico en clases de séptimo básico en Chile	PLUVINAGE François these 77 Difficultés des exercices scolaires en mathématiques	PLUVINAGE François these 77 Difficultés des exercices scolaires en mathématiques	Suivant

Il n'y a pas de commentaire pour ce titre.

pour proposer un commentaire.