|
Search the dblp DataBase
Gilles Défourneaux:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gilles Défourneaux, Nicolas Peltier
Partial Matching for Analogy Discovery in Proofs and Counter-Examples. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:431-445 [Conf]
- Gilles Défourneaux, Nicolas Peltier
Analogy and Abduction in Automated Deduction. [Citation Graph (0, 0)][DBLP] IJCAI (1), 1997, pp:216-225 [Conf]
- Christophe Bourely, Gilles Défourneaux, Nicolas Peltier
Building Proofs or Counterexamples by Analogy in a Resoluton Framework. [Citation Graph (0, 0)][DBLP] JELIA, 1996, pp:34-49 [Conf]
- Gilles Défourneaux, Christophe Bourely, Nicolas Peltier
Semantic Generalizations for Proving and Disproving Conjectures by Analogy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1998, v:20, n:1, pp:27-45 [Journal]
Search in 0.001secs, Finished in 0.001secs
|