Gå direkt till innehållet
Automated Theory Formation in Pure Mathematics
Spara

Automated Theory Formation in Pure Mathematics

Författare:
inbunden, 2002
Engelska
Lägsta pris på PriceRunner
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.
Författare
Simon Colton
Upplaga
2002 ed.
ISBN
9781852336097
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2002-08-09
Sidor
380