- 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) |
| 1996 | ||
| 3 |  | Christophe Bourely, Nicolas Peltier: DiscAtinf: A General Framework for Implementing Calculi and Strategies. DISCO 1996: 34-45 |
| 2 | | Christophe Bourely, Gilles Défourneaux, Nicolas Peltier: Building Proofs or Counterexamples by Analogy in a Resoluton Framework. JELIA 1996: 34-49 |
| 1994 | ||
| 1 | | Christophe Bourely, Ricardo Caferra, Nicolas Peltier: A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE 1994: 72-86 |
| 1 | Ricardo Caferra | [1] |
| 2 | Gilles Défourneaux | [2] [4] |
| 3 | Nicolas Peltier | [1] [2] [3] [4] |