Home
ABC
Advanced search
Intranet
Contact us
Régis CURIEN
Back to previous page
Print this
Send link
Document(s)
Article
Preuves de la déduction automatique et analogie
Régis CURIEN
In
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Régis CURIEN
Function :
Docteur ès sciences
Further information:
Formation IRISISAP