Inductive Reasoning in Mathematics

Frank M. Brown, Sten-Åke Tärnlund. Inductive Reasoning in Mathematics. In IJCAI. pages 844-850, 1977.

Abstract

Abstract is missing.