Outras Aplicações

Computational Logic And Set Theory

Applying Formalized Logic To Analysis

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

Bertrand.pt - Computational Logic And Set Theory
idioma: Inglês
Editor: SPRINGER LONDON LTD
Edição: julho de 2011
Portes
Grátis
10%
60,82€
Poupe 6,08€ (10%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

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 
ISBN:
9780857298072
Ano de edição:
07-2011
Editor:
SPRINGER LONDON LTD
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
416
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Outras Aplicações

EAN:
9780857298072

Dos mesmos autores

Theory Of Money
10%
portes grátis
10% Cartão Leitor Bertrand
52,71€
Poupe 5,27€
TAYLOR & FRANCIS LTD
Theory Of Money
10%
portes grátis
10% Cartão Leitor Bertrand
162,23€
Poupe 16,22€
TAYLOR & FRANCIS LTD
On Sets And Graphs
10%
portes grátis
10% Cartão Leitor Bertrand
62,18€
Poupe 6,22€
Springer International Publishing AG
An Introduction To The Technique Of Formative Processes In Set Theory
10%
portes grátis
10% Cartão Leitor Bertrand
60,82€
Poupe 6,08€
Springer International Publishing AG
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.