Gilles Chaminade

Publication Activity (10 Years)

Years Active: 1988-1990
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Thierry Boy de la Tour, Gilles Chaminade
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA (1990)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). STACS (1988)
Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade
Some Tools for an Inference Laboratory (ATINF). CADE (1988)
Gilles Chaminade
Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses. ECAI (1988)