Chapitre D'ouvrage
Année : 2000
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01573401
Soumis le : mercredi 9 août 2017-14:18:33
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01573401 , version 1
Citer
Jean-Gabriel Ganascia. Logique et induction: un vieux débat.. Induction symbolique et numérique, CEPADUES, 2000. ⟨hal-01573401⟩
Collections
41
Consultations
0
Téléchargements