Automated Theory Formation in Pure Mathematics - Distinguished Dissertations - Simon Colton - Bücher - Springer London Ltd - 9781447111139 - 27. September 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Automated Theory Formation in Pure Mathematics - Distinguished Dissertations Softcover reprint of the original 1st ed. 2002 edition

Simon Colton

Preis
A$ 190,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 18. Jun - 1. Jul

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Automated Theory Formation in Pure Mathematics - Distinguished Dissertations Softcover reprint of the original 1st ed. 2002 edition

Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.

400 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 27. September 2012
ISBN13 9781447111139
Verlag Springer London Ltd
Seitenanzahl 380
Maße 155 × 235 × 20 mm   ·   557 g
Sprache Englisch  

Alle Titel von Simon Colton ansehen ( u. a. Taschenbuch und Gebundenes Buch )