Rippling: Meta-Level Guidance For Mathematical Reasoning
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, junho de 2005 ‧
ver detalhes do produto
156,82€
10% DESCONTO
CARTÃO
T0dReFRrUnNhMHR5Y2tsdVMyMUpMMHN4UVZSclIwaENkWFEwWWxoRkswNTJhMUZEYVhwUlduSnBjamhFUjBob1FUZENlVGhIWjJWTlpGaElkMGh1WkdaMFYzQkNPRXBwWkZWTU5VdHRNRFpoZUhwU2FGbERUVzF3Y0VGd01IUkhiVkpqZFc4eVRUbDFkekpOUjA1Q2NHMDRiRFJoYjA5bWVFOTNWM0ZhYld0MlZHSldSQzlYZGpabVZIcEpZamhEVEZWeEsyOWtlR0ZJUlZkaUwzbE1lV05wT1ZZMFZGVnVZVkF4Wm1wT1kzcHNOa3BWTkRSdVFqTkJhR1ptYWtORlJHNXlhMWhKTjNCTWVYaEhUa3A1UVVoSlVFVkdNbGxvYTI1amJYbHZlbWg0WVVSemVVdHBUU3NyUjJWdVNHaEZSRVYzV0hNMVdsRTVlRFJNY1RoMGFrZFNUMVJNU1dod01WUkpRVTkyYXk5bmF6RlZUVk4yVVZOUmVVWmlUemhrZVc5bGRFbzRjVmhxVWpOdlYyMDVVRlpSTDJ4SVpVUXZNM2RUTDJKNllXOWFSV0pJZFVWT1VGcEhaMHhNUkcxM2NubEVaSE5RVjNRcmJraGhNRlpCUlhsVldVVXpkbWh1WlhGd1FYbzVXREF5ZG5VMlVFOHdXaXQyWXpkMlZXaG5jRk50VkVSSVFWTkVRV2R2YURFMWVUWTJSRVEwUTBOUWJUUnhSa3hUT1ZobFNrSjRWRzR3TVhwUlMwMTBUamRIY1VoSlJXOWlNazFSTUUxSVMzcHlibWRNWTNveGVVUlNOREJwTW05Mk1rVllhMk5oT1VkTUx6RmpXbGhJY0VRM1ZYaGpZa05rT1ZCVFowTTJaSFkwVFhOMmRtVk9PV1JUU2k5R2RUTTJZV1ZUUWtOelZtZE1TMGhzVGtKc1RYZGFNbHBFUkdkallYUTBOVU14V1RkTFprTjFlbEl3YldwU1NESlhWbXB1YWtkTWJEUXZRVEpaS3k5YVVEaDFSMHB5WmxkalIzVjRSRTlwYmt4c0wwbzRiSHBXT0hkS1ZuRkNkblZTTjNCMFZWSkZlVEpoTnpKeVdGTjZZMHhOUTIxbmFsWTBWaTlWWjBkYWFrbEpWRnBWWVRSSE1XSnlTVWR2YjFCbFR5OXZkV2hLYW5CdldGTkxhVGc1VjNrd05HNHZkR28zZG5GaFJrVkpOMkp2ZVZObVVVUTBaVlI0VEZwM01FRjRNRkZRU0doSE9HWlROM2hFVlVOSFlUQk1SWGx2ZDNNd1ZXbFBUVFIxSzJOSFpYTmpNM0pHZUM4ck5UbFNXWEF5TURsdWQyVkNkRVZwT0ZGSWFIZ3hRakZ5ZEdaVE5sUklTV1ZVWkZVM05WVTFhMjl5V2psQ1lsSlhhMVJaYkhoblMzVjZSMDVIVUhsWE0weEtXRFZaUWtoeFZXczFSVmRGUlVWaWFHcFFjWGxXUzB3elN3PT06TklleXhCUUcyK2gzYW9xMmQ0QTJmZz09
portes grátis
Venda o seu livro
SINOPSE
The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780521834490 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | junho de 2005 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 216 |
| Tipo de produto: | Livro |
| Coleção: | Cambridge Tracts In Theoretical Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780521834490 |
LIVROS DA MESMA COLEÇÃO
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis