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
VjBOSFdDczFOMlZXWkc1TllYTXlXaXR4VjFSNFZtNW5XazFvYkVNMFFsTnBkRloyUkdzeVowUkJSV3RNWVUxUFZuYzVkSGxvVTFOM1VrbzJTRWRxVlhOcVUxVm9SbWc0VVZOb1NGVkZZMmt4YVhWNU1sVjNWWEpWVTBndmRHeHdPVzVHTWpRdk9VRnZXV3RXVkZaU1psZDFkR2wxZURGc1lVMDRTV0ZGZVRrM1pVVnZaSEIwTW01RFdpODNUazVPVlcxQlRIVTFOMHQ2ZUZCNmRrOVZZbWQ0TUVscWNYWnBVV1ZuZEhCaFdYVkZkR3g1T1drd2FVYzVjbmxJTmpRck4xQmxZVlI2ZUM5Rk9HTkhOVFpJTW1welNXbGxNVTFIWjNKTWRIaDFiMFpaU0Zwc1RsRnBjWGRXVURKWmNXaHFVbEZOV1RFNVV6ZG5NbFozUkhveVNFVTNTMGMzTVVST05EaFdWbU5oU1ZSVmRHVlVUMWxqVkdaT2MxTk9NRVpuZG1STmMzcHNjMGs1VlhkcFJqUjJURlZrTW5aNVEyYzNhMWsxT1UweFVtbE5hRGx1ZUZONU5reEdRVVEyZEVoVmNtSXpkSEJDVVZoSmVEZHJZakZtUjJoRlYzRlFiRFpaYjNGQ2ExTmFibEZPZDFoVWFYZEROVEowTWtsdVRHbHJOa2MzUm14dUx6ZGtlVTlRY1hKT2JtTlFVamxWTjJFdmNDOHpWemRSVjBScmJFcHlUV1pqYkVRMU9ITlZhblV3YmtGdldEWktkRTFHY25WMlNVWlNRV0pOYVdWbVlWSTJjSG94VERaa1ZrSTJTVEZtT0hkUE1Fa3ZkV2xrWXk5eVJubDZTamhqVm1KVGJFZG1UWFZoZEdodlUyUXpLMm80WlRSWE1XWm5RbFpFVURaNGFVcFFXbXRvU1RRNEwwOXZiMUoxWmpCM1dGVkhNRmhZZEZFelNWWTFiVUl6TVRaNFpHdDJkV3hKY2xoclZHZE1VMGxUU2xoMGEybG9kbHB3VVcwMFdubExkRGRIY2tkbVJUZEhTamRsYld4WFNFTkVjR1Z1ZUZReFpWbFJNMUo1YUcxUlF6TXJhR2t3YUdseGVsRm1XR1FyWW5vNWNIQktiVEJ2ZURoNmNEaHlTVk5WZEVOWWFuTmhXbGt4WW1wamFEUk5SR05ETTJoek5HVlNOVVkwVUdka09GRXlVVE0xWmxSelozcEJWVXRIUlRSUk1qUklNVVZXVFhJeVJISTJTbXRTTXl0blVrWlJXRlE1Tm1VMWRuaG1lRnBaVjBZclZqZHNaSEVyUkRVeFFuZHlZM0JvVEVOak0wY3ZiblIyYUhkS2RtNW5UMlpCTW04cmJYSmFSbGg1VkhWNU1VWTNSWGMzU2pBNFYwSlZUbGRaTlM5TE0xUm5jMmxDYzBKM00xWlJhWG95YkRaeVMxQm1RMGhtTkc5S1lYWjRNVlF4YlVzeVNRPT06U0w5YkFqcDVxblZlaTRub2hkWWdUZz09
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 |