Kniha Computational Logic and Set Theory Eugenio G Omodeo

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer London Ltd
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
48.96
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2014
Stránok
416
EAN
9781447160182
ISBN
9781447160182
Enbook ID
09060410
Vydavateľ
Hmotnosť
659
Rozmery
155 x 23 x 24

Kompletný popis

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.

Mohlo by vás zaujímať

530.04
41.03
10.08

Bride of Lammermoor

Sir Walter Scott
8.51
5.48
19.58

Chinese Revolution

Arthur N. Holcombe
46.41

Summer of the Ancient

Jodi Lea Stewart
15.17
17.72
145.43
36.72
64.53

Maker of Pedigrees

Markus Friedrich
60.81

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

GoGo Kluk z internetu

Štrauch Daniel GoGo
4.23

Solunum Sistemi

Joseph Midthun
12.72

Edén

Stanislaw Lem
17.72

Skepse, a.s.

Bo Fowler
1.05
37.99

Solitéry

Vasilij Vasilievič Rozanov
4.76

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
22.32

Piranhas

Saviano
13.21

Henosis

Eric Schaefer
9.59

Klíčem je klid

Ryan Holiday
11.12
7.14