Spar
Automated Theory Formation in Pure Mathematics
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
- Softcover reprint of the original 1st ed. 2002
- ISBN
- 9781447111139
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 27.9.2012
- Forlag
- Springer London Ltd
- Antall sider
- 380
