Mechanizing Inductive Reasoning

AAAI 1990 pp. 240-245

/aaai/1990/kounalis1990aaai-mechanizing/

Cite

Text

Kounalis and Rusinowitch. "Mechanizing Inductive Reasoning." AAAI Conference on Artificial Intelligence, 1990.

Markdown

[Kounalis and Rusinowitch. "Mechanizing Inductive Reasoning." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/kounalis1990aaai-mechanizing/)

BibTeX

@inproceedings{kounalis1990aaai-mechanizing,
  title     = {{Mechanizing Inductive Reasoning}},
  author    = {Kounalis, Emmanuel and Rusinowitch, Michaël},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1990},
  pages     = {240-245},
  url       = {https://mlanthology.org/aaai/1990/kounalis1990aaai-mechanizing/}
}