Communication Dans Un Congrès
Année : 1996
Hal Lifl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00731971
Soumis le : jeudi 13 septembre 2012-17:18:46
Dernière modification le : vendredi 16 février 2024-11:28:18
Dates et versions
Identifiants
- HAL Id : hal-00731971 , version 1
Citer
Olivier Roussel, Philippe Mathieu. A New Method for Knowledge Compilation: The Achievement by Cycle Search. Proceedings of the 13th International Conference on Automated Deduction (CADE'13), 1996, undef, France. pp.493--507. ⟨hal-00731971⟩
Collections
291
Consultations
0
Téléchargements