dblp.uni-trier.dewww.uni-trier.de

Gilles Défourneaux

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)