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

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Theorem Proving in Higher Order Logics David Basin
Код Либристо: 01562897
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Цялото описание
? points 132 b
54.27 €
106.15  лв
Външен склад Изпращаме след 5-8 дни

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

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

Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Книга С твърди корици
common.buy 54.17 € 105.94 лв
BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Игра/играчка Игра
common.buy 31.62 € 61.85 лв
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Книга С меки корици
common.buy 60.20 € 117.75 лв
De la poubelle au musée. Anthropologie des restes Octave Debary / Книга С меки корици
common.buy 16.40 € 32.08 лв
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Книга С меки корици
common.buy 10.31 € 20.17 лв
Delito de fuga CHRISTOPHE LEON / Книга С меки корици
common.buy 15.68 € 30.67 лв
Abu -Lala Mahari ( - ) Avetik Isahakyan / Книга С меки корици
common.buy 19.96 € 39.04 лв
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Книга С меки корици
common.buy 36.83 € 72.04 лв
Top
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Видео DVD
common.buy 10.88 € 21.28 лв
Slovníček základních hudebních pojmů Ludmila Vrkočová / Книга С меки корици
common.buy 5.67 € 11.09 лв
Všechny cesty vedou do Říma Ivan Burkert / Книга С твърди корици
common.buy 3.76 € 7.36 лв

This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.§The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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

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

Пълно заглавие Theorem Proving in Higher Order Logics
Автор David Basin, Burkhart Wolff
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 366
Баркод 9783540406648
ISBN 3540406646
Код Либристо 01562897
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1190
Размери 155 x 233 x 21

Категории

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

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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Книга С меки корици
common.buy 11.19 € 21.89 лв
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Книга С меки корици
common.buy 115.41 € 225.72 лв
The Magic School Bus Inside a Beehive Joanna Cole / Книга С меки корици
common.buy 19.55 € 38.23 лв
Bad People Robertson / Книга С твърди корици
common.buy 21.46 € 41.97 лв
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Книга С твърди корици
common.buy 37.50 € 73.35 лв
The Rapids Of Niagara (1876) Susan Warner / Книга С меки корици
common.buy 36.27 € 70.93 лв
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Книга С меки корици
common.buy 10.31 € 20.17 лв
Top
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Книга С меки корици
common.buy 8.40 € 16.44 лв
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Печатни материали Карта
common.buy 9.59 € 18.76 лв
Nature of Truth and Falshood; With Some Motives to the Practice of Mutual Sincerity. a Sermon Preached Before the Queen, in St. George's Chapel at Win WILLIAM REEVES / Книга С твърди корици
common.buy 26.82 € 52.46 лв
Independent Watchmakers Steve Huyton / Книга С твърди корици
common.buy 40.70 € 79.61 лв
Top
Executive Functioning Workbook for Kids: 40 Fun Activities to Build Memory, Flexible Thinking, and Self-Control Skills at Home, in School, and Beyond GRAND SHARON / Книга С меки корици
common.buy 14.23 € 27.84 лв
Art Book DK / Книга С твърди корици
common.buy 23.06 € 45.10 лв
Tumors in Domestic Animals 5e Meuten / Книга С твърди корици
common.buy 247.80 € 484.65 лв
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Книга С меки корици
common.buy 5.46 € 10.69 лв
Alcidamas Alcidamas / Книга С меки корици
common.buy 40.75 € 79.71 лв
Qualitative Research: Concepts, Contexts, and Methods Muhammad Rizwan Ashraf / Книга С меки корици
common.buy 91.06 € 178.09 лв
Tom Clancy Line of Demarcation M.P. Woodward / Книга С меки корици
common.buy 10.37 € 20.27 лв
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Книга С меки корици
common.buy 54.27 € 106.15 лв
Top
Berserk Volume 32 Kentaro Miura / Книга С меки корици
common.buy 12.07 € 23.60 лв
Insights in Decision Making Hogarth / Книга С твърди корици
common.buy 197.29 € 385.86 лв
Camel Irwin Robert Irwin / E-книга Adobe ePub DRM
common.buy 21.77 € 42.57 лв
Introduction to Social Dreaming W.Gordon Lawrence / Книга С меки корици
common.buy 48.13 € 94.14 лв
The Country of the Pointed Firs Sarah Orne Jewett / Книга С меки корици
common.buy 6.44 € 12.60 лв

Вход

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

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

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

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

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