Książka Computational Logic and Set Theory Eugenio G Omodeo

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
208.32
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2014
strony
416
EAN
9781447160182
ISBN
9781447160182
Enbook ID
09060410
Waga
659
Wymiary
155 x 23 x 24

Pełny opis

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.

Możesz być zainteresowany

2 256.12
186.37
45.27

Bride of Lammermoor

Sir Walter Scott
37.95
87.52

Summer of the Ancient

Jodi Lea Stewart
68.10
80.20
647.92
108.69
274.87

Maker of Pedigrees

Markus Friedrich
270.77

Klienci, którzy kupili tę książkę, kupili również

161.58

Solunum Sistemi

Joseph Midthun
54.34

Edén

Stanislaw Lem
75.61

Skepse, a.s.

Bo Fowler
4.28

GoGo Kluk z internetu

Štrauch Daniel GoGo
25.56

Solitéry

Vasilij Vasilievič Rozanov
21.07

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
95.03

Piranhas

Saviano
56.39

Henosis

Eric Schaefer
40.88

Klíčem je klid

Ryan Holiday
48.39
30.34