Gå direkte til innholdet
Automated Theory Formation in Pure Mathematics
Spar

Automated Theory Formation in Pure Mathematics

Forfatter:
innbundet, 2002
Engelsk
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.
Forfatter
Simon Colton
Opplag
2002 ed.
ISBN
9781852336097
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
9.8.2002
Antall sider
380