Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 129 b
53.37 €
104.39  лв
Външен склад Изпращаме след 5-8 дни

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

Клиентите са закупили също

GoGo Kluk z internetu Štrauch Daniel GoGo / Книга С меки корици
common.buy 7.66 € 14.98 лв
Solunum Sistemi Joseph Midthun / Книга С меки корици
common.buy 13.87 € 27.13 лв
Edén Stanislaw Lem / Книга С меки корици
common.buy 19.26 € 37.66 лв
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Книга С меки корици
common.buy 34.06 € 66.62 лв
Skepse, a.s. Bo Fowler / Книга С твърди корици
common.buy 1.13 € 2.22 лв
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Книга binding.
common.buy 78.49 € 153.50 лв
Zahnärztliche Implantologie Soniya Gurjar / Книга С меки корици
common.buy 41.52 € 81.20 лв
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Книга С меки корици
common.buy 47.16 € 92.24 лв
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Книга С меки корици
common.buy 16.36 € 31.99 лв
Solitéry Vasilij Vasilievič Rozanov / Книга С меки корици
common.buy 5.48 € 10.72 лв
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Видео DVD
common.buy 24.17 € 47.28 лв
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Книга Книга
common.buy 192.18 € 375.88 лв
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Книга С твърди корици
common.buy 69.74 € 136.39 лв
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Книга С меки корици
common.buy 20.86 € 40.80 лв
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Книга С меки корици
common.buy 26.40 € 51.63 лв
Piranhas Saviano / Книга С меки корици
common.buy 14.28 € 27.94 лв
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Книга С меки корици
common.buy 17.08 € 33.41 лв
Henosis Eric Schaefer / Аудио Аудио компактдиск
common.buy 10.40 € 20.34 лв
Top
Klíčem je klid Ryan Holiday / Книга С твърди корици
common.buy 13.20 € 25.81 лв
Schnauze, die Nikoläuse sind los Annette Swoboda / Книга С меки корици
common.buy 7.81 € 15.28 лв
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Книга Лист
common.buy 7.81 € 15.28 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

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

Engineering Theories of Software Intensive Systems Manfred Broy / Книга С твърди корици
common.buy 237.07 € 463.67 лв
Handbook of Separation Process Technology Ronald W. Rousseau / Книга С твърди корици
common.buy 576.87 € 1 128.26 лв
Japanese Democracy and Lessons for the United States Ray Christensen / Книга С твърди корици
common.buy 190.58 € 372.74 лв
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Книга С твърди корици
common.buy 184.52 € 360.89 лв
Top
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Книга С меки корици
common.buy 11.59 € 22.67 лв
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 / Книга С твърди корици
common.buy 26.92 € 52.65 лв
Malware Data Science Joshua Saxe / Книга С меки корици
common.buy 48.09 € 94.06 лв
How much do yo know about... Frontenis Wanceulen Notebook / Книга С меки корици
common.buy 11.02 € 21.56 лв
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Книга С меки корици
common.buy 8.54 € 16.70 лв
Bride of Lammermoor Sir Walter Scott / Книга С меки корици
common.buy 9.21 € 18.01 лв
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Книга С меки корици
common.buy 22.00 € 43.03 лв
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Книга С твърди корици
common.buy 117.42 € 229.65 лв
Happy New Year, Sleepover Club! Fiona Cummings / Книга С меки корици
common.buy 6.00 € 11.74 лв
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Книга С меки корици
common.buy 21.27 € 41.61 лв
Coach for a Nation: The Life and Times of Knute Rockne Jim Lefebvre / Книга С меки корици
common.buy 18.37 € 35.94 лв
Chinese Revolution Arthur N. Holcombe / Книга С твърди корици
common.buy 50.48 € 98.72 лв
Summer of the Ancient Jodi Lea Stewart / Книга С меки корици
common.buy 16.56 € 32.39 лв
Подготвяме
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Книга С твърди корици
common.buy 253.54 € 495.87 лв
Manly P. Hall All Seeing Eye Manly P. Hall / Книга С твърди корици
common.buy 19.46 € 38.06 лв
Is Justice Real When “Reality” is Not? Katherine Forrest / Книга С меки корици
common.buy 157.39 € 307.83 лв
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Книга С меки корици
common.buy 31.63 € 61.86 лв
Top
Soviet Playgrounds Zupagrafika / Книга С твърди корици
common.buy 32.41 € 63.38 лв
International Trade Finance Tarsem Bhogal / E-книга Adobe ePub DRM
common.buy 69.94 € 136.80 лв
Maker of Pedigrees Markus Friedrich / Книга С твърди корици
common.buy 68.70 € 134.37 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?