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
212.27
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 298.71
46.13

IQ Puzzle For Adults

Orlando Parker
44.44
225.99

Bride of Lammermoor

Sir Walter Scott
38.67
23.95

Younger

Sara Gottfried
88.98
89.18
81.72
660.20

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

GoGo Kluk z internetu

Štrauch Daniel GoGo
26.04

Edén

Stanislaw Lem
68.70

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
96.83
164.65

Skepse, a.s.

Bo Fowler
4.37

Solitéry

Vasilij Vasilievič Rozanov
21.47

Piranhas

Saviano
56.77

Klíčem je klid

Ryan Holiday
52.79
30.91

Henosis

Eric Schaefer
41.65

Solunum Sistemi

Joseph Midthun
55.37