info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Computational Logic and Set Theory

Език Английски езикАнглийски език
Книга С меки корици
Книга Computational Logic and Set Theory Eugenio G Omodeo
Код Либристо: 09060410
Издателство Springer London Ltd, септември 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Цялото описание
? points 179 b
142 лв
Външен склад в ограничено количество Изпращаме след 14-18 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Speed of Trust Stephen M R Covey / С меки корици
common.buy 39 лв
Malware Data Science Joshua Saxe / С меки корици
common.buy 123 лв
Zvířátka ze statku Vendula Hegerová / Дипляна
common.buy 10 лв
SolarWinds Orion Network Performance Monitor Joe Dissmeyer / С меки корици
common.buy 158 лв
Journey of a Red Soul MARIE DION / С меки корици
common.buy 76 лв
Sin ELENA M. REYES / С меки корици
common.buy 39 лв
GROW UP ANTMAN Jessika von Innerebner / С твърди корици
common.buy 24 лв
Edén Stanislaw Lem / С меки корици
common.buy 35 лв
Парадоксы механики спло& Alexandr Kozachok / С меки корици
common.buy 175 лв
Das Übergangsbuch Sabine Lingenauber / С меки корици
common.buy 42 лв
Connect the Dots with Animals Activity Book for Children - Create Your Own Doodle Cover (8x10 Softcover Personalized Coloring Book / Activity Book) / С меки корици
common.buy 39 лв
ПОДГОТВЯМЕ
Weaving It Together Teachers Guide Levels 1 & 2 Milada Broukal / Дипляна
common.buy 86 лв
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / С меки корици
common.buy 110 лв
Mark Antony's Heroes Stephen Dando-Collins / С меки корици
common.buy 33 лв
Studies in the Text of Seneca's "Naturales Quaestiones" Harry M. Hine / С твърди корици
common.buy 403 лв
Parenting and Children's Resilience in Disadvantaged Communities Moira Walker / С меки корици
common.buy 97 лв

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.

Информация за книгата

Пълно заглавие Computational Logic and Set Theory
Автор Eugenio G Omodeo
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 416
Баркод 9781447160182
ISBN 9781447160182
Код Либристо 09060410
Издателство Springer London Ltd
Тегло 659
Размери 155 x 23 x 24

Категории

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo