Votre recherche a retourné 2 résultats.

Trier
Ne plus surligner Surligner
Tout sélectionner Tout désélectionner
Documents sélectionnés :
Résultats
1.
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
2.
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