Christophe Bourely (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

3 Christophe Bourely, Nicolas Peltier: Disc_Atinf: 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

1 Christophe Bourely, Ricardo Caferra, Nicolas Peltier: A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE 1994: 72-86

Selection of 4 from 4 records - Christophe Bourely has 3 coauthors

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)
3		Christophe Bourely, Nicolas Peltier: Disc_Atinf: 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
1		Christophe Bourely, Ricardo Caferra, Nicolas Peltier: A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE 1994: 72-86