Проверка на състоянието на поръчката
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€

Theorem Proving in Higher Order Logics

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Theorem Proving in Higher Order Logics Amy Felty
Код Либристо: 05274732
Издателство Springer, Berlin, ноември 1997
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Die verborgene Geschichte der Erde Claudia Buchholtz / Книга С меки корици
common.buy 28.34 € 55.44 лв
Elektra, die hell Leuchtende Jennifer Saint / E-книга Adobe ePub DRM
common.buy 11.58 € 22.65 лв
Histoire mondiale / Книга С меки корици
common.buy 10.70 € 20.93 лв
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Книга С меки корици
common.buy 47.74 € 93.38 лв
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Книга С меки корици
common.buy 76.25 € 149.13 лв
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Книга С меки корици
common.buy 25.60 € 50.07 лв
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Игра/играчка Игра
common.buy 16.55 € 32.37 лв
Die Krankheiten Der Nagel Julius Heller / Книга С меки корици
common.buy 55.92 € 109.36 лв
Seidenstraße Quelle: Wikipedia / Книга С меки корици
common.buy 15.51 € 30.34 лв
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Видео DVD
common.buy 9.41 € 18.40 лв
Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Книга С меки корици
common.buy 7.65 € 14.96 лв

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

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

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

Пълно заглавие Theorem Proving in Higher Order Logics
Автор Amy Felty, Elsa L. Gunter
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1998
Брой страници 346
Баркод 9783540633792
ISBN 3540633790
Код Либристо 05274732
Издателство Springer, Berlin
Тегло 460
Размери 156 x 234 x 18

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Local Analysis of Selberg's Trace Formula A. Good / Книга С меки корици
common.buy 27.41 € 53.62 лв
Vogue: The Gown Jo Ellison / Книга С твърди корици
common.buy 34.14 € 66.77 лв
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Книга С меки корици
common.buy 17.48 € 34.19 лв
Reception of Laurence Sterne in Europe Neubauer / Книга С твърди корици
common.buy 377.38 € 738.09 лв
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Книга С меки корици
common.buy 19.24 € 37.63 лв
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Книга С твърди корици
common.buy 34.45 € 67.38 лв
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Книга С меки корици
common.buy 10.19 € 19.92 лв
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Книга С меки корици
common.buy 25.08 € 49.06 лв
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Книга С меки корици
common.buy 19.29 € 37.73 лв
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Книга С меки корици
common.buy 19.29 € 37.73 лв
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Книга С меки корици
common.buy 28.34 € 55.44 лв
Transcending the Razor Wire Katherine Young / Книга С меки корици
common.buy 14.84 € 29.03 лв
Study Guide for Political Theories for Students Cengage Learning Gale / Книга С меки корици
common.buy 11.79 € 23.06 лв
You Are Not Alone Nadja / Книга С меки корици
common.buy 10.34 € 20.23 лв
Legend of Cyber-Love Margaret Liu / Книга С твърди корици
common.buy 56.28 € 110.07 лв
Plain Facts for Old and Young John Harvey Kellogg / Книга С меки корици
common.buy 8.12 € 15.87 лв
Core Labour Standards and International Trade Kofi Addo / Книга С твърди корици
common.buy 108.58 € 212.36 лв
Women in Ancient Rome Bonnie MacLachlan / Книга С меки корици
common.buy 54.42 € 106.43 лв
Government Risk-Sharing in Foreign Investment Marina von Neumann Whitman / Книга С меки корици
common.buy 58.30 € 114.02 лв
What Is the Impact of Digitizing Books? Louise I. Gerdes / Книга С меки корици
common.buy 31.76 € 62.11 лв
Trinity and Creation in Augustine Scott A. Dunham / Книга С меки корици
common.buy 39.73 € 77.70 лв
Women and the Limits in the French Revolution Olwen H. Hufton / Книга С меки корици
common.buy 44.95 € 87.91 лв
Companion to Medieval English Literature and Culture c.1350 - c.1500 Peter Brown / Книга С меки корици
common.buy 57.73 € 112.91 лв
Memories of Sexual Betrayal / Книга С твърди корици
common.buy 127.05 € 248.49 лв

Вход

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

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

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

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

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