Accueil
Abécédaire
Recherche avancée
Intranet
Contact
Nicolas BELACHEFF
Retour à la page précédente
Imprimer
Envoyer le lien
Document(s)
Article
Apprendre la preuve
Nicolas BELACHEFF
Dans
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Nicolas BELACHEFF
Fonction :
Directeur de recherche
Information(s) supplémentaire(s) :
CNRS