Castaing, Jacqueline

2 publications

IJCAI 1985 How to Facilitate the Proof of Theorems by Using the Induction-Matching, and by Generalization Jacqueline Castaing

IJCAI 1983 Trivializing the Proof of Trivial Theorems Yves Kodratoff, Jacqueline Castaing