Frank M. Brown, Sten-Åke Tärnlund. Inductive Reasoning in Mathematics. In IJCAI. pages 844-850, 1977.
@inproceedings{BrownT77,
title = {Inductive Reasoning in Mathematics},
author = {Frank M. Brown and Sten-Åke Tärnlund},
year = {1977},
researchr = {https://researchr.org/publication/BrownT77},
cites = {0},
citedby = {0},
pages = {844-850},
booktitle = {IJCAI},
}