Catherine Belleannée

	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

Coauthor Index

1	Pascal Brisset	[2]
2	Jacques Nicolas	[1]
3	Olivier Ridoux	[2] [3] [4]

Colors in the list of coauthors