ML Anthology

Automatic Case Analysis in Proof by Induction

Adel Bouhoula, Michaël Rusinowitch
IJCAI 1993 pp. 88-94
/ijcai/1993/bouhoula1993ijcai-automatic/
PDF IJCAI Semantic Scholar

Cite

Text

Bouhoula and Rusinowitch. "Automatic Case Analysis in Proof by Induction." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[Bouhoula and Rusinowitch. "Automatic Case Analysis in Proof by Induction." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/bouhoula1993ijcai-automatic/)

BibTeX

@inproceedings{bouhoula1993ijcai-automatic,
  title     = {{Automatic Case Analysis in Proof by Induction}},
  author    = {Bouhoula, Adel and Rusinowitch, Michaël},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {88-94},
  url       = {https://mlanthology.org/ijcai/1993/bouhoula1993ijcai-automatic/}
}