Accueil
Abécédaire
Recherche avancée
Intranet
Contact
Régis CURIEN
Retour à la page précédente
Imprimer
Envoyer le lien
Document(s)
Article
Preuves de la déduction automatique et analogie
Régis CURIEN
Dans
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Régis CURIEN
Fonction :
Docteur ès sciences
Information(s) supplémentaire(s) :
Formation IRISISAP