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

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Higher Order Logic Theorem Proving and Its Applications E. Th. Schubert
Код Либристо: 01566006
Издателство Springer, Berlin, ноември 1994
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo... Цялото описание
? points 132 b
54.28 €
106.17  лв
Външен склад Изпращаме след 5-8 дни

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

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

LEGO Ninjago - Der Herr der Wünsche / Книга С твърди корици
common.buy 9.64 € 18.86 лв
Filosofía de Richard Rorty Pilar Salvá Soria / Книга С меки корици
common.buy 37.67 € 73.67 лв
Wissenschaftstheorie der Soziologie Gerhard Wagner / Книга С меки корици
common.buy 27.96 € 54.69 лв
Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch / Книга С меки корици
common.buy 46.90 € 91.73 лв
Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920) Carl Irresberger / Книга С меки корици
common.buy 28.74 € 56.21 лв
Évaluation et didactique Bart Daniel Bart / E-книга Adobe ePub DRM
common.buy 47.21 € 92.34 лв
Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte Arnold Ehret / Книга С твърди корици
common.buy 17.08 € 33.40 лв
Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr Gisela Ehlers / Книга Лист
common.buy 17.75 € 34.71 лв

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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

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

Пълно заглавие Higher Order Logic Theorem Proving and Its Applications
Автор E. Th. Schubert, Phillip J. Windley, James Alves-Foss
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1995
Брой страници 408
Баркод 9783540602750
ISBN 3540602755
Код Либристо 01566006
Издателство Springer, Berlin
Тегло 547
Размери 156 x 234 x 21

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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 Книгата ще пристигне на адреса на получателя

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

Fuels Programs Registration User Guide Version 2.0 U S Environmental Protection Agency / Книга С меки корици
common.buy 18.37 € 35.92 лв
The Kiss Bet, Vol. 3 OCHOA INGRID / Книга С меки корици
common.buy 15.01 € 29.36 лв
Top
Dark and Drowning Tide Saft Allison / Книга С меки корици
common.buy 11.45 € 22.40 лв
Top
Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques Gabriel Sassone / Книга С меки корици
common.buy 45.72 € 89.41 лв
Decision Making in Emergency Medicine Manda Raz / Книга С меки корици
common.buy 106.09 € 207.50 лв
Introduction to World Religions Darryl E. Howard / Книга С твърди корици
common.buy 284.80 € 557.02 лв
Staff Cars in Germany WW2 Vol. 2 Ranger / Книга С меки корици
common.buy 22.08 € 43.19 лв
Data Science with Julia Paul D McNicholas / Книга С меки корици
common.buy 92.31 € 180.55 лв
Triple Ken Follett / Книга С меки корици
common.buy 14.24 € 27.85 лв
Passover Family Monique Polak / Книга Дипляна
common.buy 10.16 € 19.87 лв
Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum / Книга С меки корици
common.buy 13.00 € 25.42 лв
Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala Jiby John Mathew / Книга С меки корици
common.buy 49.90 € 97.59 лв
Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing / Книга С твърди корици
common.buy 45.66 € 89.31 лв
Richard Scarry's Please and Thank You Book Richard Scarry / Книга С меки корици
common.buy 5.46 € 10.69 лв
Oogenesis - The Universal Process Verlhac / Книга С твърди корици
common.buy 169.26 € 331.04 лв
Anatomy of Fraud and Corruption Veronica Morino / Книга С твърди корици
common.buy 251.15 € 491.21 лв
Corals of Australia and the Indo-Pacific J.E.N. Veron / Книга С твърди корици
common.buy 84.37 € 165.01 лв
Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova / Книга С меки корици
common.buy 52.48 € 102.63 лв
Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author. Armand-Louis Bon Maudet / Книга С меки корици
common.buy 20.02 € 39.15 лв
Edina. a Novel. Henry Wood / Книга С меки корици
common.buy 28.02 € 54.79 лв
Moment With Kel Kelvin L. Hicks / Книга С меки корици
common.buy 11.30 € 22.09 лв

Вход

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

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

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

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

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