GEOMUS: Un resolveur de problèmes de géométrie qui mobilise ses connaissances en fonctions du problèmes posé. / présentée par Jean michel BAZIN
Langue : français.Pays : France.Publication : Paris : université Paris VI, 1993Description : 304 p. ; 30cm.Sujet: Intelligence artificielle | Démonstration automatique de théorème | Métaconnaissances | Environnement interactif d'apprentissage avec ordinateur | sous figures caractéristiques | Représentation interne du problème| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Thèse, mémoire | IREM P7 | BAZIN (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 2802 |
Il n'y a pas de commentaire pour ce titre.