adicionar à lista de desejos
Computational Logic And Set Theory eBook
Applying Formalized Logic To Analysis
idioma: inglês
Editor:
SPRINGER LONDON, julho de 2011 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
WW1kRmRrWlRTbWxLWVZkUFZESnZVa1JMV0dWcFVFUktjWHBSVWk5RlYwb3llRGh5YXl0dFIweEZUMEZLVm5sQmJHczNWbEJQTWs1SFdFTkxiMmhQYUVJMFkweHVhMXB5WTNONlQwNXNaVVZLZDBodGNsaG9NemR5VkRFeVN6SnNPVFU1YUVSUmJIaHhXbGhVZVdvMldITlhRazlqVjJwTFpYZFpPSGQ1UVdaV05VaFBWSE5GVHpWUFpscHlkMlJKUVZsVU9XZG1NV1p5VWxKSmJpOTRRbEJoU1RObWFESkNOa3hKZEZabGFFRXZjMVpzZFRoeGN6UlFSMGd6UVVkRFVUVlZZMU5rWVZKTldtVnBibXh2WTNCaVdVbHZjM1k1TnpsWk5YZE9PVmQyTnpKRFkwSm1hbWx3TWpsTVVEWXdWemcxU2pCdWIwTjVRVEpKVkU5SGVUVjNSVUpEZDJONGJHNXlVVlYwVFhaelRFUjJXVWx1YVd0NmQxSmxURklyWkdSeFJ6WkVNVmx1VUVGRVVURkZTMUV2Tm1wbWVHOUdhSGQ0Tm1kdVVTOXZVa0oxU0N0dlJETkZkRGx0YVVweGRsVTJkMnBSTUUxRFpsaFRURXRvUTNkb2VuWnRhekl3YkM4MkwzUkZOVE42T1hsU2J6TlFRbmRWTmtsaE5tRjFOMmd4Y2xOak5EVjJWbmxtV0dac1RVVnhWa1ZoUkN0MmVsbHVWMkY2Umpaa2RURlJjRVpyWm1nd1luVllXR3hDVFhSTE1FTkpRWGxvWjA5d2RWRlFaa1JMVTFsQ1UzRldVbE01YmpSalpEVjJUakV2TVZCYVJWaHJjVGR2YTBGd04zaEhSbW8xYVRaTGNFVktjbHBuWkhaSU1EVmpkM3BUWm1kT2RFTkJXVU00ZUZZcllWZDNUbXRtT1VaR2FVTm5SbU5KUVc1RFkzYzNZWHA1ZEVacUx6SlFSRVJ6TmxWWFkxWkJPV2hTZFdnNVZEUXliVTE0VHpVcmVFRlVkMnMyY0ZNNGNVc3ZlRVJYYzNCTVprTTBORmRLTm14cWNrdG5aV3RTTDJkeVNGcHBjeXRyVWtWQ1JqSlBSMWhaUlhCU1YwZE1OMGRQY1VodWIzRXhiR05zTW5kdk9EWllialYzYWtwa1lrOUpkelZxT0dWMlNucDFkRVowYkRnNE1GVk5OMUF2ZDBFNVdIUXdjMjQ0VTNORFNYZzFOalZ2UWs5Sk9FTm1ObTVRVG5sWmR6WkpibGhtY0hGTmJETjJWSGxSUkhoemRuaGFkRWRPUWxsUFFXRTVhWEF2Wm5nM1lUVjNUV1pyUFE9PTpDR0ZtRGQzQmpxbmZDTEY4Q3M4djVnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: | 9780857298089 |
| Editor: | SPRINGER LONDON |
| Data de Lançamento: | julho de 2011 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9780857298089 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Computer Vision MetricsSpringer Nature Singapore130,58€
145,09€ -
eBook10%Computer-Aided Intelligent Diagnosis Of Skin MelanomaSpringer Nature Singapore178,28€
198,09€
-
10%Theory Of MoneyTAYLOR & FRANCIS LTD55,42€ 10% CARTÃOportes grátis
-
10%Theory Of MoneyTAYLOR & FRANCIS LTD168,97€ 10% CARTÃOportes grátis
-
10%On Sets And GraphsSpringer International Publishing AG62,18€ 10% CARTÃOportes grátis
-
10%Computational Logic And Set TheorySPRINGER LONDON LTD60,82€ 10% CARTÃOportes grátis
-
10%An Introduction To The Technique Of Formative Processes In Set TheorySpringer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
10%Computational Logic And Set TheorySPRINGER LONDON LTD60,82€ 10% CARTÃOportes grátis