Gilles Défourneaux

	1998
4		Gilles Défourneaux, Christophe Bourely, Nicolas Peltier: Semantic Generalizations for Proving and Disproving Conjectures by Analogy. J. Autom. Reasoning 20(1): 27-45 (1998)
	1997
3		Gilles Défourneaux, Nicolas Peltier: Partial Matching for Analogy Discovery in Proofs and Counter-Examples. CADE 1997: 431-445
2		Gilles Défourneaux, Nicolas Peltier: Analogy and Abduction in Automated Deduction. IJCAI (1) 1997: 216-225
	1996
1		Christophe Bourely, Gilles Défourneaux, Nicolas Peltier: Building Proofs or Counterexamples by Analogy in a Resoluton Framework. JELIA 1996: 34-49

Coauthor Index

1	Christophe Bourely	[1] [4]
2	Nicolas Peltier	[1] [2] [3] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page