How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization.

Jacqueline Castaing

Browse the full IJCAI paper archive.