| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |  | 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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page