A learning procedure for mathematics.

DOI10.1007/BF01530800zbMath1034.68540OpenAlexW2092122111MaRDI QIDQ1353940

Kurt Ammon

Publication date: 12 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530800

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (1)

An automatic proof of Gödel's incompleteness theorem

Uses Software

• OTTER

Cites Work

• Problems and Experiments for and with Automated Theorem-Proving Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: A learning procedure for mathematics.