10% de desconto

Computational Logic And Set Theory

Applying Formalized Logic To Analysis

de Jacob T. Schwartz, Eugenio G. Omodeo e Domenico Cantone
idioma: inglês
Editor: SPRINGER LONDON LTD, julho de 2011 ‧
60,82€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Computational Logic And Set Theory

Applying Formalized Logic To Analysis

de Jacob T. Schwartz, Eugenio G. Omodeo e Domenico Cantone

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