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.
Evaluations
    Classement moyen : 0.0 (0 votes)
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

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

pour proposer un commentaire.

Propulsé par Koha