Проверка на състоянието на поръчката
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 122 b
50.60 €
98.96  лв
Външен склад Изпращаме след 5-8 дни

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

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

GoGo Kluk z internetu Štrauch Daniel GoGo / Книга С меки корици
common.buy 7.66 € 14.98 лв
Edén Stanislaw Lem / Книга С меки корици
common.buy 16.36 € 32.00 лв
250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold / Книга С твърди корици
common.buy 301.81 € 590.29 лв
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Видео DVD
common.buy 24.18 € 47.30 лв
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Книга С меки корици
common.buy 16.16 € 31.60 лв
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Книга С твърди корици
common.buy 20.35 € 39.80 лв
Zahnärztliche Implantologie Soniya Gurjar / Книга С меки корици
common.buy 39.26 € 76.78 лв
Подготвяме
Skepse, a.s. Bo Fowler / Книга С твърди корици
common.buy 1.13 € 2.22 лв
Solitéry Vasilij Vasilievič Rozanov / Книга С меки корици
common.buy 5.49 € 10.73 лв
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Книга binding.
common.buy 78.31 € 153.16 лв
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Книга Книга
common.buy 169.94 € 332.37 лв
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Книга С твърди корици
common.buy 66.09 € 129.25 лв
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Книга С меки корици
common.buy 20.61 € 40.31 лв
Le jour du slip, je porte la culotte Percin / Книга С меки корици
common.buy 9.68 € 18.93 лв
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Книга С меки корици
common.buy 26.26 € 51.35 лв
Piranhas Saviano / Книга С меки корици
common.buy 14.08 € 27.55 лв
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Книга С меки корици
common.buy 17.04 € 33.32 лв
Изгодно
Klíčem je klid Ryan Holiday / Книга С твърди корици
common.buy 12.58 € 24.61 лв
Schnauze, die Nikoläuse sind los Annette Swoboda / Книга С меки корици
common.buy 7.35 € 14.37 лв
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Книга Лист
common.buy 7.35 € 14.37 лв
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Книга С меки корици
common.buy 44.59 € 87.21 лв
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Книга С меки корици
common.buy 32.16 € 62.90 лв
Henosis Eric Schaefer / Аудио Аудио компактдиск
common.buy 10.41 € 20.35 лв
Solunum Sistemi Joseph Midthun / Книга С меки корици
common.buy 13.88 € 27.14 лв

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.12 € 463.76 лв
Handbook of Separation Process Technology Ronald W. Rousseau / Книга С твърди корици
common.buy 577.06 € 1 128.63 лв
How much do yo know about... Frontenis Wanceulen Notebook / Книга С меки корици
common.buy 11.03 € 21.57 лв
IQ Puzzle For Adults Orlando Parker / Книга С меки корици
common.buy 10.61 € 20.76 лв
Japanese Democracy and Lessons for the United States Ray Christensen / Книга С твърди корици
common.buy 214.02 € 418.58 лв
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Книга С твърди корици
common.buy 175.12 € 342.50 лв
Grace Abounding to the Chief of Sinners John Bunyan / Книга С меки корици
common.buy 15.69 € 30.69 лв
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Книга С меки корици
common.buy 11.55 € 22.58 лв
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.93 € 52.67 лв
Malware Data Science Joshua Saxe / Книга С меки корици
common.buy 53.86 € 105.35 лв
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Книга С твърди корици
common.buy 39.26 € 76.78 лв
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Книга С меки корици
common.buy 8.54 € 16.71 лв
Bride of Lammermoor Sir Walter Scott / Книга С меки корици
common.buy 9.21 € 18.02 лв
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Книга С меки корици
common.buy 22.01 € 43.04 лв
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Книга С твърди корици
common.buy 117.47 € 229.75 лв
Happy New Year, Sleepover Club! Fiona Cummings / Книга С меки корици
common.buy 6.00 € 11.74 лв
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Книга С меки корици
common.buy 12.79 € 25.01 лв
Younger Sara Gottfried / Книга С меки корици
common.buy 22.63 € 44.26 лв
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Книга С меки корици
common.buy 21.28 € 41.63 лв
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C Maryland State Planning Dept / Книга С меки корици
common.buy 14.60 € 28.56 лв
Подготвяме
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Книга С твърди корици
common.buy 240.59 € 470.55 лв
Manly P. Hall All Seeing Eye Manly P. Hall / Книга С твърди корици
common.buy 19.47 € 38.08 лв
Anyway, I'm Falling in Love with You. 1 V01 / Книга С меки корици
common.buy 11.39 € 22.28 лв
Is Justice Real When “Reality” is Not? Katherine Forrest / Книга С меки корици
common.buy 157.46 € 307.96 лв

Вход

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

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

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

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

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