phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Computational Logic and Set Theory

Język AngielskiAngielski
Książka Miękka
Książka Computational Logic and Set Theory Eugenio G Omodeo
Kod Libristo: 09060410
Wydawnictwo Springer London Ltd, wrzesień 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Cały opis
? points 154 b
261.68 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Speed of Trust Stephen M R Covey / Miękka
common.buy 69.20 zł
Bakemonogatari (manga), Volume 9 Nisioisin / Miękka
common.buy 46.56 zł
Malware Data Science Joshua Saxe / Miękka
common.buy 219.19 zł
Surrealism Emilie Dufresne / Twarda
common.buy 64.91 zł
How much do yo know about... Frontenis Wanceulen Notebook / Miękka
common.buy 52.35 zł
Britain and the Dutch Revolt, 1560-1700 Hugh Dunthorne / Twarda
common.buy 546.90 zł
Bride of Lammermoor Sir Walter Scott / Miękka
common.buy 41.68 zł
GROW UP ANTMAN Jessika von Innerebner / Twarda
common.buy 36.89 zł
Парадоксы механики спло& Alexandr Kozachok / Miękka
common.buy 337.37 zł
Zapowiedź
Weaving It Together Teachers Guide Levels 1 & 2 Milada Broukal / Leporelo
common.buy 157.16 zł
Mark Antony's Heroes Stephen Dando-Collins / Miękka
common.buy 58.93 zł
Studies in the Text of Seneca's "Naturales Quaestiones" Harry M. Hine / Twarda
common.buy 745.76 zł
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Miękka
common.buy 204.13 zł
American Church in Black and White GREGORY EMAN BRYANT / Twarda
common.buy 200.14 zł
Parenting and Children's Resilience in Disadvantaged Communities Moira Walker / Miękka
common.buy 176.61 zł
ACT for Dividing and Inclosing the Common Fields, and Common Pasture, Common Meadow, Common Grounds and Waste Grounds in the Manor and Lordship of Car MULTIPLE CONTRIBUTOR / Twarda
common.buy 122.16 zł

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.

Informacje o książce

Pełna nazwa Computational Logic and Set Theory
Autor Eugenio G Omodeo
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 416
EAN 9781447160182
ISBN 9781447160182
Kod Libristo 09060410
Wydawnictwo Springer London Ltd
Waga 659
Wymiary 155 x 23 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo