adicionar à lista de desejos
Automated Theory Formation In Pure Mathematics eBook
idioma: inglês
Editor:
SPRINGER LONDON, dezembro de 2012 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
ZGtGR1dIbHBRa1JWU0V0VmRHVk1jM1pTZW5kbE5qa3pTbVl5ZEV4a1lWRndLek5HUm5WNmVVeDJTRFpSZUZoWlUyeFFaeXM0VFhoa05taEtTM1pxVUhGMU5tdHNjME12YUdGbk9TdG9UakE0VXpjMFZGbEdSVXQzZUdSYVlpOVpjMVpNUmxvNU9VSkpNMjVrUW5WU2NVTjFjMjlLY2tOa2J5OVhjbkZJWm1VMk4yUTJUU3R2Vm1zM2J6VjBVVTl4WlV0WGJteFhNbTh6YzNsR05EUTFUMVJxVlUxUU5UZEtWbUZaZVZvd1NsZDFSbEJuUTNWeUwzWTFiM1UwTjFaMWJGcDVTM1pqTUZkUWVHcEhialpOU1Zsb2FVRlRWblZCUW5odFFWTnpjVzRyU3pSQk9HczJjbVJ6ZUZFeGFucHpjVGR5YkdaUFNpdEVkek4zTTNaM2RXVjViV2xoTjNSSE0yVkhSR1V6TVVWV01WVjVVMEZCVUU1elkwaDJSWGxTVnpKVlVWRlVaV3hxV2xSSGFsWkRaRmxHVFdSRlNsTnpUa0l2WVd0cmVESlJRMUZYVDJKSFVXOVdNR1JZTW5kd1psSjZNVWRaWW1wU1JXMTBPRWgyWjFVMFZreHJZV0VyWWtGalJVUnRRamxWUzNaSVQwUnBLMVZLV0VvNFVsTndRbmw1VGxSSFpqTk5SV28yVjI0MFZVNVVjbFZvVFhRNUswZFNSVTB5Um1GR2J5dDZRa3RpTlU0d2VHRXlkVEJzTW01aksyUk9TbFZrTjBKamNtWklVSGd6VGs1MVFXdDFkV2g2WWpKTWJHdGxPVTFsUVVsWlNtbDZkbkJOVVZRMVVpOXpZMHROV0dONWIzZGpXbk50TWpsTmRFbHhUMEY0VTJJMlVYRjVLM001WlZNNU5HdHJRa05PWXpZclNqQTBjM2h6TTA5SldVTXhjRUpRU1ZwMGJVYzRkMUpaVkVrd1JHTndPVGt5UW1NNFQzRjViMjVPTjNKbVFUWjZhbUZpYURRMVYxaFhiemN5Wm1GSk1XcDBiRUkwZVc1VmFWZEJTbG94YjA1cVRqVnRVVzV4Tm5kTWRFaDVVRmxKYmpCR1NYUnlWekE0TkhkMGVEbG5ZWGh6ZDBJM1NHZ3lTRGhIWkdkelRWRlliRVpqTXpKUGMxTkVOelF4UzJWTVl5dHlhVlpQYVdNMmVuZHJPVWhoYm1ScVdUbGxXbXd3YjJaRlpuSlpVa1lyTnpOSWNucDVjMnB4VW14allYTkhSVnBLUXpObFJrdHBOVUo0YkRKM1YyWmtSWFZQVjNndlJYbHljWGxWUFE9PTo2SmFTOWV6WUlVcDU1dVVCeVBDaW9nPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781447101475 |
| Editor: | SPRINGER LONDON |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Distinguished Dissertations |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781447101475 |
LIVROS DA MESMA COLEÇÃO
-
10%Games And Full Abstraction For A Functional Metalanguage With Recursive TypesSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis
-
10%Inheritance Relationships For Disciplined Software ConstructionSPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis