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

Gilles Défourneaux Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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
3EEGilles 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
1EEChristophe 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)