Automated Theory Formation in Pure Mathematics by Simon Colton (English) Paperba
146,53 €
1.2 Aims of the Project. - 1.3 Contributions. - 1.4 Organisation of the Book. - 1.5 Summary. Literature Survey. - 2.2 Mathematical Theory Formation Programs. - 2.3 The BACON Programs. - 2.4 Concept Invention.
Jetzt bei Ebay:
