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