Communication Dans Un Congrès
Année : 1999
Pascal Urso : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00463826
Soumis le : lundi 15 mars 2010-11:42:50
Dernière modification le : lundi 26 février 2024-11:22:07
Dates et versions
Identifiants
- HAL Id : hal-00463826 , version 1
Citer
Pascal Urso, Emmanuel Kounalis. Generalization Discovery for Proofs by Induction in Conditional Theories. Twelfth International Florida Artificial Intelligence Research Society Conference - FLAIRS99, 1999, Orlando, United States. pp.250-256. ⟨hal-00463826⟩
Collections
66
Consultations
0
Téléchargements