Ergebnisse für: computer-assisted proof

Hier findest Du Bücher, die sich mit computer-assisted proof beschäftigen.

Buch Cover Proof Technology in Mathematics Research and Teaching

Springer International Publishing
160.49 € · Hardcover
...
Buch Cover Price Dynamics in Equilibrium Models

Springer US
106.99 € · Hardcover
...
Buch Cover Mathematics Education in the Age of Artificial Intelligence

Springer International Publishing
181.89 € · Hardcover
...
Buch Cover Proof Technology in Mathematics Research and Teaching

Springer International Publishing
160.49 € · Paperback
...
Buch Cover Proof Technology in Mathematics Research and Teaching

Springer International Publishing
149.79 € · eBook
...
Buch Cover Frontiers of Combining Systems

Springer Berlin
53.49 € · eBook
...
Buch Cover Computer Methods and Borel Summability Applied to Feigenbaum’s Equation

Springer Berlin
53.49 € · Paperback
...
Buch Cover Mathematics Education in the Age of Artificial Intelligence

Springer International Publishing
181.89 € · Paperback
...
Buch Cover Types for Proofs and Programs

Springer Berlin
53.49 € · eBook
...
Buch Cover Types for Proofs and Programs

Springer Berlin
53.49 € · Paperback
...
Buch Cover Price Dynamics in Equilibrium Models

Springer US
106.99 € · Paperback
...
Buch Cover Mathematics Education in the Age of Artificial Intelligence

Springer International Publishing
181.89 € · eBook
...
Buch Cover Frontiers of Combining Systems

Springer Berlin
53.49 € · Paperback
...
Buch Cover Computer Methods and Borel Summability Applied to Feigenbaum’s Equation

Springer Berlin
53.49 € · eBook
...
Buch Cover Price Dynamics in Equilibrium Models

Springer US
96.29 € · eBook
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden