Automated Theory Formation in Pure Mathematics - Distinguished Dissertations - Simon Colton - Livros - Springer London Ltd - 9781447111139 - 27 de setembro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Simon Colton

Preço
Mex$ 2.502,66

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 16 - 25 de jun

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

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

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de setembro de 2012
ISBN13 9781447111139
Editoras Springer London Ltd
Páginas 380
Dimensões 155 × 235 × 20 mm   ·   557 g
Idioma English  

Ver tudo de Simon Colton ( por exemplo Paperback Book e Hardcover Book )