Chapitre D'ouvrage
Année : 1999
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01574481
Soumis le : lundi 14 août 2017-16:52:54
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01574481 , version 1
Citer
Jacques Pitrat. Vers un métamathématicien artificiel. Le concept de preuve à la lumière de l'Intelligence Artificielle, pp.117-137, 1999. ⟨hal-01574481⟩
Collections
24
Consultations
0
Téléchargements