Carte Computational Logic and Set Theory Eugenio G Omodeo

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern în cantități mici
Expediem în 11-15 zile
297.23 lei
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
416
EAN
9781447160182
ISBN
9781447160182
Enbook ID
09060410
Greutate
659
Dimensiuni
155 x 23 x 24

Descriere completă

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

S-ar putea să te intereseze

2 930.61 lei
229.91 lei
58.63 lei

Bride of Lammermoor

Sir Walter Scott
49.35 lei
113.24 lei

Summer of the Ancient

Jodi Lea Stewart
88.10 lei
105.26 lei
834.89 lei
157.04 lei
339.82 lei

Maker of Pedigrees

Markus Friedrich
334.17 lei

Clienții care au cumpărat această carte au mai cumpărat și

228.29 lei

Solunum Sistemi

Joseph Midthun
70.64 lei

Edén

Stanislaw Lem
93.35 lei

Skepse, a.s.

Bo Fowler
5.24 lei

GoGo Kluk z internetu

Štrauch Daniel GoGo
35.32 lei

Solitéry

Vasilij Vasilievič Rozanov
26.03 lei

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
122.92 lei

Piranhas

Saviano
69.53 lei

Henosis

Eric Schaefer
52.78 lei

Klíčem je klid

Ryan Holiday
63.48 lei
39.76 lei