Automated Theory Formation in Pure Mathematics, Paperback by Colton, Simon, L...
120,92 €
The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems.
Jetzt bei Ebay:
