Automated Theory Formation in Pure Mathematics - Distinguished Dissertations - Simon Colton - Books - Springer London Ltd - 9781447111139 - September 27, 2012
In case cover and title do not match, the title is correct

Simon Colton
Automated Theory Formation in Pure Mathematics - Distinguished Dissertations Softcover reprint of the original 1st ed. 2002 edition

Price
Íkr 13,249
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 26 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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 Books     Paperback Book   (Book with soft cover and glued back)
Released September 27, 2012
ISBN13 9781447111139
Publishers Springer London Ltd
Pages 380
Dimensions 155 × 235 × 20 mm   ·   557 g
Language English  

Mere med samme udgiver

See all of Simon Colton ( e.g. Paperback Book and Hardcover Book )