| 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 |
