Christophe Bourely

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Gilles Défourneaux, Christophe Bourely, Nicolas Peltier
Semantic Generalizations for Proving and Disproving Conjectures by Analogy. J. Autom. Reason. 20 (1) (1998)
Christophe Bourely, Nicolas Peltier
: A General Framework for Implementing Calculi and Strategies. DISCO (1996)
Christophe Bourely, Gilles Défourneaux, Nicolas Peltier
Building Proofs or Counterexamples by Analogy in a Resoluton Framework. JELIA (1996)
Christophe Bourely, Ricardo Caferra, Nicolas Peltier
A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE (1994)