Matemática

Automated Theory Formation In Pure Mathematics

de Simon Colton 

eBook
Bertrand.pt - Automated Theory Formation In Pure Mathematics
idioma: Inglês
Editor: SPRINGER LONDON
Edição: dezembro de 2012
10%
118,59€
Poupe 11,86€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

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.

Da mesma coleção

ver +
Games And Full Abstraction For A Functional Metalanguage With Recursive Types
10%
portes grátis
10% Cartão Leitor Bertrand
97,34€
Poupe 9,73€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Inheritance Relationships For Disciplined Software Construction
10%
portes grátis
10% Cartão Leitor Bertrand
97,34€
Poupe 9,73€
SPRINGER LONDON LTD
Automated Theory Formation In Pure Mathematics
de Simon Colton 
ISBN:
9781447101475
Ano de edição:
12-2012
Editor:
SPRINGER LONDON
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Distinguished Dissertations
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9781447101475
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.