Gilles Chaminade (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Thierry Boy de la Tour, Gilles Chaminade: The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA 1990: 3-12

3 Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). CADE 1988: 744-745

1 Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396

Selection of 3 from 4 records - Gilles Chaminade has 2 coauthors

4		Thierry Boy de la Tour, Gilles Chaminade: The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. AIMSA 1990: 3-12
3		Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). CADE 1988: 744-745
1		Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade: Some Tools for an Inference Laboratory (ATINF). STACS 1988: 395-396