Intégration et implémentation de mécanismes de déduction naturelle dans les démonstrateurs utilisant la résolution. (Integration and implementation of natural deduction mechanisms in resolution based theorem provers)

Gilles Chaminade. Intégration et implémentation de mécanismes de déduction naturelle dans les démonstrateurs utilisant la résolution. (Integration and implementation of natural deduction mechanisms in resolution based theorem provers). PhD thesis, Grenoble Institute of Technology, France, 1991. [doi]