adicionar à lista de desejos
Computational Logic And Set Theory
Applying Formalized Logic To Analysis
idioma: inglês
Editor:
SPRINGER LONDON LTD, julho de 2011 ‧
ver detalhes do produto
60,82€
10% DESCONTO
CARTÃO
V21oeVZXTk9hWGhETlhrckwxSnNLM2RRYzJ4MVprUmFRVVo2Y1RGV05WVTJaVmR2Y25aVWRHUm9ha0p3U2xBeFVrcFlkRFppUkRaSU4yNDJURzFRVlZsNldqVm9kalEzTWtKQk5rMUNXbEYzU2pGTWNtMTVTVVI1WTJ3MFQyVmljbVJKV2prNVpuRkNVMnRQTkRGelNYWkNWa1F3YWtsUVF6UllkRVEwTTNwTU9IcFBNelJUWVdaU2VVVXlWRkZFVjFWTmJGQjVPRVJwWTBWVWFHOVpUWGh1UzFscGJra3hNbUZMZERCMlMyTkdXbUZ4UTFSaVVqUnFPRFZaTDJVek1FSTNVVmwxWTFRclQxWlFRbVJ1UkZJclJ6SlBSWHB5VWs1dE0xbFhjVEZUZVZwc2FtbEJTME0wY3lzeU5XbDRaRkY0ZGxaMlNWVjRXVlJyVjNVNVJXWnlZbG8zV0doSVlYbFBiVEZMTHpGTmJsaENiVk5UUzBWTVpVZEdWamw1UzBaVWJEWjRRVUpCTlVWc1RYQlBNMm8wU0c1SFpVMTRXVkoyWTFONFZFOXFWVVpVVkRRNEt5OUhTM1ZqTkZnNVNWUXpPWHA1YzA1dlpHMUlWRUV3TkcxbWVFOTBUemR5UzNGR1FVWnVOR2xEVGl0aGRXaFBibVZaU21OTVMzbENWVmx5TjNwalJXMXZUMjE2WldwSWFXZFljRnBxTWpKVVNrUnpVMGRCU21wR2VGWndaVlJFTjBOVE1UUlJPRzVsU21sSVRIZGlVRGRJTTB0NWRuVk5jRE5DVkZJNFJVeHNjR0puWlVjeGVqTlFlRzFUUkd0VmIyODNZMXBtZVhOaGNHVldlamhuVlhSS1NsUm1hMFpqZFVabFpFSTJPV2hTVW5kd2IzQTFTRE50U2xKVFltMUlRVmhoZWxkNGR6UktUMVY2TkhaaVdtMDRLekpCY2pCdVRrdzRRMFYzT0ZvM2VTc3hVV0ZzWjNweVZFa3hSR0YzZEdWbU1HUkZLMk5DVDJ4TmNWSnZPWFY1VW5ZeVRWcEJjVXB6ZEhSeVVVcHlhRUozUVdoQ2NWa3ZaR1pqVmxwSVRVWTRkbFJ1TUdaemJFODVVbkEzZEc5NFRURklZbXBSVDI4emN6UlZRVzQyV2l0UmExRTJPV2d6YzBoT0wzWktOV2t6V2xGeFZXdE1OSEJ2U0VWRmVrdE9ialZ3T0djeU5UTk9RM0ZRZVRCcFJIRXZTa2R2VkZsYVVrbFlTMFJaUzNCQlRHdEtUeXRKZW1aWmMwTnRiWHBvUWxreU9VUmFXblZHTUhWNk9DdHVkMHRSUVdsQlVreHNhSEJTUmpkQk4xSXlUM0ZsTWtOdlNIbFliWE4wY0N0cmVYVkpWbUpoUmxobmJUUllhVmREVDFScGRGSkpVbTVRYVVGRk4xQkNUVWg0TlRoSlpHdEVRa1ZEV0djeGRYRlZjWEJrVkc5MFFnPT06ZzJSNWxSUzlGdGIxcmdNOUhvTDhYZz09
portes grátis
Venda o seu livro
SINOPSE
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780857298072 |
| Editor: | SPRINGER LONDON LTD |
| Data de Lançamento: | julho de 2011 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 416 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9780857298072 |