Vertel uw vrienden over dit artikel:
Automated Theory Formation in Pure Mathematics - Distinguished Dissertations Softcover reprint of the original 1st ed. 2002 edition
Simon Colton
Prijs
Mex$ 2.202,89
Besteld in een afgelegen magazijn
Verwachte levering 10 - 18 jul.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
Ook verkrijgbaar als:
Automated Theory Formation in Pure Mathematics - Distinguished Dissertations Softcover reprint of the original 1st ed. 2002 edition
Simon Colton
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 27 september 2012 |
| ISBN13 | 9781447111139 |
| Uitgevers | Springer London Ltd |
| Pagina's | 380 |
| Afmetingen | 155 × 235 × 20 mm · 557 g |
| Taal en grammatica | Engels |
Bekijk alles van Simon Colton ( bijv. Paperback Book en Hardcover Book )