Kurt Ammon The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. [Citation Graph (0, 0)][DBLP] ÖGAI, 1985, pp:81-89 [Conf]

Kurt Ammon An Automatic Proof of Gödel's Incompleteness Theorem. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1993, v:61, n:2, pp:291-306 [Journal]

Kurt Ammon An Automatic Proof of Gödel's Incompleteness Theorem. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:203-207 [Journal]

Kurt Ammon A Learning Procedure for Mathematics. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1993, v:8, n:3-4, pp:407-423 [Journal]