Skip to content
  Projet Symbiose  
 

Bibliographie Catherine Belleannée

Document Actions

Bibliographie Catherine Belleannée

2003

C Belleannée, and O Ridoux (2003).
Programmation logique et calcul. Présentation d'un enseignement de maîtrise d'informatique
In: Programmation en logique avec contraintes- JFPLC 2003, edited by Lavoisier. unknown, pages 49–62.

1999

C Belleannée, P Brisset, and O Ridoux (1999).
A Pragmatic Reconstruction of Lambda-Prolog
Journal of Logic Programming 41:67-102.

1995

C Belleannée, P Brisset, and O Ridoux (1995).
Une reconstruction pragmatique de Lambda-Prolog
Technique et Science Informatique 14:1131–1164.

1994

C Belleannée, and R Vorc'h (1994).
A linear tableau proof for the pigeonhole formulae using symmetry
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods. TR-94/5- Imperial College, London - UK, pages 43-49.

1993

C Belleannée (1993).
Generating New Inference Rules for a Tableaux-like Theorem Prover
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods. MPI-I-93-213 Saarbrücken Germany, pages 23-33.

1991

C Belleannée (1991).
Vers un démonstrateur de théorèmes adaptatif
Thèse de l'université de Rennes 1.

C Belleannée, and J Nicolas (1991).
Static Learning for an Adaptative Theorem Prover
In: Machine Learning - EWSL 91 (European Working Session on Learning). Springer-Verlag, pages 298-311.

1990

C Belleannée (1990).
Improving Deduction in a Sequent Calculus
In: proceedings of the 8th biennial conference of the CSCSI, Ottawa, pages 220–226.