Siirry suoraan sisältöön
Automated Theory Formation in Pure Mathematics
Tallenna

Automated Theory Formation in Pure Mathematics

Kirjailija:
sidottu, 2002
englanti
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.
Kirjailija
Simon Colton
Painos
2002 ed.
ISBN
9781852336097
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
9.8.2002
Sivumäärä
380