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
ZWk5cVdWZ3JVM3BEZDJObGIwbHVXVVZsY2poTGMxbEpja2xGVXpONFVrTnVPSEZLU1VkQlFUUTNNalJyZFZaR015dHVSMFpaTkRseU1rWkRUbWgxUTNkNmFtOVhSM1IxVlZCaFRDc3JiR1ZKZDFabFp6ZFNUVXhXWWxGTFMwcE5Wbkp0VEVkVmRFMUJZbU5JYWtsTWNWQmhWVlF5WkdWa1JEbFdkbFV4YVVRck0yeEhNR2h1T0hWMVVWSXhXSFZXTUN0VVNuQlRNSGhqYVV0a2IxQlJNMHN3ZEhGblEwa3hWR0VyUmt0M05WWnBSekZhYjJSVmFrWk9RWE5PTjBWNldHUllXV0ZOYm01UVpURjBSbXRUT0daR1VGSlZZbGhzUkhoS2JWbHBNV1F2T1ZONlNWVlJNMGx0WVRsaksxWnZSakp6YjJjelJuZEdabWR0YVRFME9YaHNUbVY2YkhCWmEzSk1hamR6U1VkRFZURnhXVzlSYWtadU1EbEhXVTFYWkhwelZUTmxhMjFZTURSRVIyc3ZSbEJSYjNCSVJVcGhWbFl5U0dRM1pHaFhaMkUyY0RKT1QzY3lNRmRZYmxoNFlVMVVVMUV6ZVRoclIzWjRMMWMxU1hwdU1GZFJjemN5TkhsMlIwTjRTRXRMUTBsMldHRmtNR1IzVGtJMFlUTjNUblJ0Y1dOTmMwVnFZa2x3WVRSdWFrOVJka3N2TVdjNGIzTk9URGt3U2xvM09DODFaVlpvZEdRMmRGWXlORnB1YVd4T1UwVXZWSGQxU0RsaldsbzVWVWxWYzFJclVWaFRWR05zV0ZKblpIUjVOMHRrUzJsWFRGVnRSSFo0VG1oNGRFTkRVWGhHYjJWcmRUWk5UalJsWkdGbldGbEpOVGN3TUVncmVVNVVXR1oyV1hFeEsxb3pVMjlXUkhOaVExWTFaRTByUm5SR1lYcExUVlJVUjJnclNWQmlka1l3WmsxWFYxVjRRVlJPY1VwQ1VYRlFXVmxITDFRMlVYcG5aVWh4UmpBNUt5dEtlbWxPVmpoWlptbFhVbmRIVmxwT2MwUnZOSEF3ZVhaTFpYQjBiREV2TTNSbWRIcHFkbVF2UTJSNUwyaFBiRzkyZVZCU1lrSkxNVlkyZEcxc01scFVUamgyWVZwVmFVRmtURE52Y2tNdmIyUlpNak0xZVVRelpsUnlSMFZhY0ZOWkswZERXbVJ5YTJsTFFXVldTMmhHT0hRemF6ZFhZakJ3VDB4UE1tVnhOalJRWlV0Q2RGZG9lRkJCTTNWelJUTlZVRmxyYUc5Sk5UQlBRekJTYzNOc04yOWtTalZuUFE9PTpZbVJQS0RacUJiMEp6QXQ0U1lwbzdBPT0=
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
-
Computer Vision MetricseBook10%Springer Nature Singapore130,58€
145,09€ -
Computer-Aided Intelligent Diagnosis Of Skin MelanomaeBook10%Springer Nature Singapore178,28€
198,09€
-
Theory Of Money30%TAYLOR & FRANCIS LTD36,90€
52,71€portes grátis -
Theory Of Money30%TAYLOR & FRANCIS LTD113,56€
162,23€portes grátis
-
On Sets And Graphs30%Springer International Publishing AG43,53€
62,18€portes grátis -
Computational Logic And Set Theory30%SPRINGER LONDON LTD42,57€
60,82€portes grátis
-
An Introduction To The Technique Of Formative Processes In Set Theory30%Springer International Publishing AG42,57€
60,82€portes grátis -
Computational Logic And Set Theory30%SPRINGER LONDON LTD42,57€
60,82€portes grátis