Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Książki - Springer London Ltd - 9781447160182 - 6 września 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis 2011 edition

Cena
zł 206,90

Zamówione z odległego magazynu

Przewidywana dostawa 27 sty - 4 lut

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

416 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 6 września 2014
ISBN13 9781447160182
Wydawcy Springer London Ltd
Strony 416
Wymiary 155 × 235 × 23 mm   ·   607 g
Język Angielski  

Zobacz wszystko od Jacob T. Schwartz ( np. Hardcover Book i Paperback Book )