Communication Dans Un Congrès
Année : 1996
Hal Lifl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00731984
Soumis le : jeudi 13 septembre 2012-17:18:58
Dernière modification le : vendredi 31 mai 2024-18:32:03
Dates et versions
Identifiants
- HAL Id : hal-00731984 , version 1
Citer
Philippe Mathieu, Olivier Roussel. How to Use Cycles for Logicial Compilation. Proceedings of the European Conference on Artificial Intelligence's Workshop on Advances in Propositional Deduction (APD@ECAI'96), 1996, undef, France. pp.53--60. ⟨hal-00731984⟩
Collections
346
Consultations
0
Téléchargements