Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

The Seventeen Provers of the World

Език Английски езикАнглийски език
Книга С меки корици
Книга The Seventeen Provers of the World Freek Wiedijk
Код Либристо: 01561478
Издателство Springer, Berlin, ноември 2005
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer... Цялото описание
? points 139 b
56.95 €
111.39  лв
Външен склад Изпращаме след 14-21 дни

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

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

Frühförderung mit Kindern psychisch kranker Eltern Manfred Pretis / Книга С меки корици
common.buy 39.59 € 77.44 лв
Dove lo sguardo trova quiete. La bellezza come estetica del vero e del bene Corrado Gnerre / Книга С меки корици
common.buy 25.38 € 49.63 лв
sorelle della notte Antonella Forte / Книга С меки корици
common.buy 23.21 € 45.39 лв
Женщина с бумажными цветами (мягк/обл.) Донато Карризи / Книга С меки корици
common.buy 11.14 € 21.79 лв
L'art de vivre au temps de Julie, fille d'Auguste Catherine Salles / Книга С меки корици
common.buy 21.36 € 41.78 лв
Caractères et métamorphoses du dragon des origines - du méchant au gentil Ribémont / Книга С твърди корици
common.buy 64.45 € 126.06 лв
Churchill Andrew Roberts / Книга С меки корици
common.buy 36.77 € 71.91 лв
Deutsche Geschichte Im Mittelalter (Bis 1500) Friedrich Kurze / Книга С твърди корици
common.buy 31.39 € 61.39 лв
Comprendre La Psychologie: La Jalousie (comprendre les mecanismes de La Jalousie et trouver des solutions) Dr Jacques Donnars / Книга С меки корици
common.buy 7.65 € 14.96 лв
52 Cosas Que Guadalupe Desea Que Diego Sepa: Una Manera Diferente de Decirlo J L Leyva / Книга С меки корици
common.buy 17.41 € 34.06 лв
The Hen and the Fox (Traditional Chinese): 03 Tongyong Pinyin Paperback Color Anonymous / Книга С меки корици
common.buy 37.09 € 72.55 лв
Innovacionnaya jekologiya: teoriya i praktika Konstantin Pavlov / Книга С меки корици
common.buy 41.44 € 81.06 лв
La Cour d'Espagne Au Commencement Du Xixe Siecle Peyre-R / Книга С меки корици
common.buy 14.48 € 28.32 лв
Akuma to love song 04 Miyoshi Tomori / Книга С меки корици
common.buy 11.04 € 21.59 лв
Korespondence Albrechta Pětipeského z Chýš a Egrberku z let 1570-1596 Petr Mareš / Книга Лист
common.buy 13.19 € 25.81 лв
miniLÜK Heiner Müller / Книга Лист
common.buy 8.16 € 15.96 лв
Proverbes Français Französische Sprichwörter. Proverbes Francais Simone Klages / Книга С меки корици
common.buy 11.45 € 22.39 лв

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. §The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.

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

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

Пълно заглавие The Seventeen Provers of the World
Автор Freek Wiedijk
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 162
Баркод 9783540307044
ISBN 3540307044
Код Либристо 01561478
Издателство Springer, Berlin
Тегло 280
Размери 156 x 234 x 9

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Government 3.0 - Next Generation Government Technology Infrastructure and Services Adegboyega Ojo / Книга С твърди корици
common.buy 172.31 € 337.01 лв
Intelligent Systems and Networks Gwanggil Jeon / Книга С твърди корици
common.buy 210.93 € 412.55 лв
Left You Dead James / Книга С меки корици
common.buy 9.70 € 18.98 лв
Virat Kohli - The Best in the World Nicholson / Книга С меки корици
common.buy 7.13 € 13.95 лв
December in New York Daniel Valentino / Книга С меки корици
common.buy 10.22 € 19.99 лв
Exploring the Riemann Zeta Function Hugh Montgomery / Книга С меки корици
common.buy 183.05 € 358.01 лв
World Architecture Richard Ingersoll / Книга С меки корици
common.buy 219.61 € 429.53 лв
Ashes of Gold Lynda Cordova / Книга С меки корици
common.buy 7.29 € 14.25 лв
Graceland Lance Schonberg / Книга С меки корици
common.buy 13.81 € 27.01 лв
30 Addition Worksheets with Two 1-Digit Addends: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 10.27 € 20.09 лв
The Nature of God: Lessons from an Ancient Love Story Bruce Buckingham / Книга С меки корици
common.buy 6.93 € 13.56 лв
Lending Light Rose Christo / Книга С меки корици
common.buy 12.07 € 23.61 лв
Top
Dismantling Green Colonialism: Energy and Climate Justice in the Arab Region Katie Sandwell / Книга С меки корици
common.buy 28.14 € 55.04 лв
Trafficking in Slavery's Wake Benjamin N. Lawrance / Книга С меки корици
common.buy 43.55 € 85.17 лв
Winning Body Language for Sales Professionals: Control the Conversation and Connect with Your Customer-without Saying a Word Mark Bowden / Книга С меки корици
common.buy 22.59 € 44.19 лв
Jascha Heifetz Galina Kopytova / Книга С твърди корици
common.buy 41.55 € 81.26 лв
SAGE Encyclopedia of African Cultural Heritage in North America Mwalimu J. Shujaa / Книга С твърди корици
common.buy 444.32 € 869.01 лв
Oxford Bookworms Library: Level 3:: The Last Sherlock Holmes Story audio CD pack Michael Dibdin / Книга С меки корици
common.buy 18.95 € 37.06 лв
GESTA CHRISTI Charles Loring 1826-1890 Brace / Книга С твърди корици
common.buy 39.87 € 77.97 лв
Attachment from Infancy to Adulthood Karin Grossmann / Книга С меки корици
common.buy 58.70 € 114.81 лв
Castle of Wolfenbach; A German Story. in Two Volumes. by Mrs. Parsons, ... Volume 2 of 2 Mrs. Parsons / Книга С меки корици
common.buy 24.39 € 47.71 лв
Astrology of the Shadow Self Maja D'Aoust / Книга С меки корици
common.buy 24.03 € 47.00 лв
Tarot de Marseille Paul Marteau / Книга С меки корици
common.buy 37.59 € 73.52 лв

Вход

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

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

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

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

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