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

Castaing. "How to Facilitate the Proof of Theorems by Using the Induction-Matching, and by Generalization." International Joint Conference on Artificial Intelligence, 1985.

[Castaing. "How to Facilitate the Proof of Theorems by Using the Induction-Matching, and by Generalization." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/castaing1985ijcai-facilitate/)

@inproceedings{castaing1985ijcai-facilitate,
  title     = {{How to Facilitate the Proof of Theorems by Using the Induction-Matching, and by Generalization}},
  author    = {Castaing, Jacqueline},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1208-1213},
  url       = {https://mlanthology.org/ijcai/1985/castaing1985ijcai-facilitate/}
}