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í
49.14
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ť

532.02
10.12

IQ Puzzle For Adults

Orlando Parker
9.72
52.29

Bride of Lammermoor

Sir Walter Scott
8.54
5.50

Younger

Sara Gottfried
20.63
19.65
17.78
145.97

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

GoGo Kluk z internetu

Štrauch Daniel GoGo
4.25

Edén

Stanislaw Lem
15.92

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
22.40
38.13

Skepse, a.s.

Bo Fowler
1.05

Solitéry

Vasilij Vasilievič Rozanov
4.78

Piranhas

Saviano
13.16

Klíčem je klid

Ryan Holiday
13.18
7.17

Henosis

Eric Schaefer
9.62

Solunum Sistemi

Joseph Midthun
12.77