Gilles Chaminade

According to our database, Gilles Chaminade authored at least 4 papers between 1988 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

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

PhD thesis, 1991

1990

The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving.

Thierry Boy de la Tour, Gilles Chaminade

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1988

Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses.

Gilles Chaminade

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Some Tools for an Inference Laboratory (ATINF).

Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade

Proceedings of the 9th International Conference on Automated Deduction, 1988