Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Livros - Springer London Ltd - 9780857298072 - 16 de julho de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Preço
€ 49,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 27 de jan - 4 de fev

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

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.

417 pages, black & white illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 16 de julho de 2011
ISBN13 9780857298072
Editoras Springer London Ltd
Páginas 416
Dimensões 166 × 243 × 30 mm   ·   824 g
Idioma Inglês  

Ver tudo de Jacob T. Schwartz ( por exemplo Hardcover Book e Paperback Book )