Computational Logic and Set Theory - Schwartz, Jacob T. a Cantone, Domenico a Omodeo, Eugenio G.

Name: Computational Logic and Set Theory - Schwartz, Jacob T. a Cantone, Domenico a Omodeo, Eugenio G.
Brand: Springer London Ltd

Růst ceny o 1 %

Nejnižší cena od 10. 9. 2026: 1 322 Kč.

1 336 Kč

Springer London Ltd

Celý popis

Do obchodu

O produktu

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the tnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.