| |
| 2003 | ||
|---|---|---|
| 4 | Catherine Belleannée, Olivier Ridoux: Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC 2003: 49-62 | |
| 3 | EE | Catherine Belleannée, Olivier Ridoux: Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. Technique et Science Informatiques 22(1): 49-62 (2003) |
| 1999 | ||
| 2 | Catherine Belleannée, Pascal Brisset, Olivier Ridoux: A Pragmatic Reconstruction of lambda-Prolog. J. Log. Program. 41(1): 67-102 (1999) | |
| 1991 | ||
| 1 | Catherine Belleannée, Jacques Nicolas: Static Learning for an Adaptive Theorem Prover. EWSL 1991: 298-311 | |
| 1 | Pascal Brisset | [2] |
| 2 | Jacques Nicolas | [1] |
| 3 | Olivier Ridoux | [2] [3] [4] |