Automatisierte Theoriebildung in reiner Mathematik, Hardcover von Colton, Simon, B...
143,56 €
Automated Theory Formation in Pure Mathematics, Hardcover by Colton, Simon, ISBN 1852336099, ISBN-13 9781852336097, Brand New, Free shipping in the US Discusses automated theory formation in mathematics through the use of an HR system, which provides solutions to the problem of forming theories by a computer.
Jetzt bei Ebay:
![Produktbild - Dialogue Concerning The Two Chief Models Of Planet Formation, A [Hardback]](https://i.ebayimg.com/thumbs/images/g/MosAAeSw8fZoSaMd/s-l140.jpg)