Votre recherche a retourné 3 résultats.

Trier
Ne plus surligner Surligner
Tout sélectionner Tout désélectionner
Documents sélectionnés :
Résultats
1.
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 Publication : Paris : université Paris VI, 1993Description : 304 p. ; 30cm.Disponibilité : Exemplaires empruntables: Cote : BAZIN (1).

Réserver Ajouter au panier
2.
Reformuler et classer un problème pour le résoudre : L'architecture SYRCLAD et son application à quatres domaines / par Nathalie GUIN Publication : Paris : université Paris VI, 1998Description : 293p. ; 30cm.Disponibilité : Exemplaires empruntables: Cote : GUIN (1).

Réserver Ajouter au panier
3.
Apprentissage et démonstration automatique de théorèmes / par michel PINTADOPublication : Paris : université Paris VI, 1994Description : 211p. ; 30cm.Disponibilité : Exemplaires empruntables: Cote : PINTADO Thèse (1).

Réserver Ajouter au panier
Pages

Propulsé par Koha