Communication Dans Un Congrès
Année : 1997
Hal Lifl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00731972
Soumis le : jeudi 13 septembre 2012-17:18:47
Dernière modification le : vendredi 16 février 2024-11:26:38
Dates et versions
Identifiants
- HAL Id : hal-00731972 , version 1
Citer
Philippe Mathieu, Olivier Roussel. Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case. Proceedings of 14th International Conference on Automated Deduction (CADE'14), 1997, undef, France. pp.161--175. ⟨hal-00731972⟩
Collections
323
Consultations
0
Téléchargements