Gilles Défourneaux

A venue Felix Viallet 38031 Grenoble FRANCE

1 paper in the IJCAI proceedings

IJCAI 1997

Analogy and Abduction in Automated Deduction

with Nicolas Peltier

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings