Kniha Computational Logic and Set Theory Eugenio G Omodeo

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer London Ltd
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 120
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
416
EAN
9781447160182
ISBN
9781447160182
Enbook ID
09060410
Hmotnost
659
Rozměry
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 zajímat

12 173

IQ Puzzle For Adults

Orlando Parker
236
927
244

Bride of Lammermoor

Sir Walter Scott
206
128
474

The Comfort Crisis

Michael Easter
428
420

Sin

ELENA M. REYES
351

Summer of the Ancient

Jodi Lea Stewart
369

Maker of Pedigrees

Markus Friedrich
1 474
1 568
896

Zákaznicí kteří koupili tuto knihu koupili také

866

Skepse, a.s.

Bo Fowler
25

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
514

GoGo Kluk z internetu

Štrauch Daniel GoGo
121

Piranhas

Saviano
321

Klíčem je klid

Ryan Holiday
252
163

Henosis

Eric Schaefer
221

Solitéry

Vasilij Vasilievič Rozanov
124

Solunum Sistemi

Joseph Midthun
294

Edén

Stanislaw Lem
430