Automatisierte Theoriebildung in reiner Mathematik, Taschenbuch von Colton, Simon, L...
127,60 €
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:
