Christophe Bourely

According to our database, Christophe Bourely authored at least 4 papers between 1994 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Semantic Generalizations for Proving and Disproving Conjectures by Analogy.

Gilles Défourneaux, Christophe Bourely, Nicolas Peltier

J. Autom. Reason., 1998

1996

Building Proofs or Counterexamples by Analogy in a Resoluton Framework.

Christophe Bourely, Gilles Défourneaux, Nicolas Peltier

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Disc_Atinf: A General Framework for Implementing Calculi and Strategies.

Christophe Bourely, Nicolas Peltier

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1994

A Method for Building Models Automatically. Experiments with an Extension of OTTER.

Christophe Bourely, Ricardo Caferra, Nicolas Peltier

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994