|
Search the dblp DataBase
Christophe Bourely:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christophe Bourely, Ricardo Caferra, Nicolas Peltier
A Method for Building Models Automatically. Experiments with an Extension of OTTER. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:72-86 [Conf]
- Christophe Bourely, Nicolas Peltier
DiscAtinf: A General Framework for Implementing Calculi and Strategies. [Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:34-45 [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
|