Régis CURIEN

Retour à la page précédente
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