Skip to content
Book Glossary
Cover of Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

by Simon Colton

MathematicsMethodologyData processingArtificial intelligenceAutomatic theorem provingExpert systems (Computer science)Mathematics, methodologyExpert systems (computer science)
Writing a summary for young readers…

For young readers

Book data: Open Library