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

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computational Logic and Proof Theory Georg Gottlob
Код Либристо: 05274334
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Paracuellos CARLOS GIMENEZ / Книга С твърди корици
common.buy 59.85 € 117.05 лв
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Книга С твърди корици
common.buy 27.59 € 53.96 лв
Las tres puertas Raquel Ortega / Книга С меки корици
common.buy 36.34 € 71.08 лв
La régression PLS - théorie et pratique Tenenhaus / Книга С меки корици
common.buy 56.69 € 110.87 лв
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Книга С меки корици
common.buy 26.35 € 51.53 лв
Rakkauden oppi Jorma Etto / E-книга Adobe ePub DRM
common.buy 9.78 € 19.13 лв
Theatre Complet Emile Augier / Книга С меки корици
common.buy 27.90 € 54.57 лв
Lighting Martinez Alonso / Книга С твърди корици
common.buy 12.42 € 24.29 лв
Reset Eypio / Аудио Аудио компактдиск
common.buy 11.70 € 22.88 лв
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Игра/играчка Играчка
common.buy 11.44 € 22.37 лв
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Книга С меки корици
common.buy 19.26 € 37.66 лв
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Книга С меки корици
common.buy 14.75 € 28.85 лв
Noragami. Bd.11 Adachitoka / Книга С меки корици
common.buy 9.42 € 18.42 лв
Liebesgeschichten neu erzählen Pat Hudson / Книга С меки корици
common.buy 22.93 € 44.85 лв
Jazz Club Klavier Andy Mayerl / Печатни материали Ноти
common.buy 21.43 € 41.91 лв
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Аудио Аудио компактдиск
common.buy 9.88 € 19.33 лв
Sponsoring des Golfsports in Deutschland Daniel Gronen / Книга С меки корици
common.buy 69.89 € 136.69 лв

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a series of biennial§symposia on logic, theoretical computer science, and§philosophy of mathematics. The aim of this meeting wasto§bring together researchers working in the fields of§computational logic and proof theory. While proof theory§traditionally is a discipline of mathematical logic, the§central activity in computational logic can be foundin§computer science. In both disciplines methods were invented§which arecrucial to one another. This volume contains the§proceedings of the symposium. It contains contributions by§36 authors from 10 different countries. In addition to 10§invited papers there are 26 contributed papers selected from§over 50 submissions.

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

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

Пълно заглавие Computational Logic and Proof Theory
Автор Georg Gottlob, Alexander Leitsch, Daniele Mundici
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1993
Брой страници 354
Баркод 9783540571841
ISBN 3540571841
Код Либристо 05274334
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1160
Размери 216 x 279 x 20

Категории

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

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

Demography Through Problems Nathan Keyfitz / Книга С твърди корици
common.buy 54.46 € 106.52 лв
Mirror Mirror Eric J. Burton / Книга С меки корици
common.buy 6.36 € 12.45 лв
Crystal Growth Technology T. Ohachi / Книга С твърди корици
common.buy 322.40 € 630.55 лв
Peer-to-Peer Systems II M. Frans Kaashoek / Книга С меки корици
common.buy 54.46 € 106.52 лв
Pay: God Light Marcia Batiste / Книга С меки корици
common.buy 6.21 € 12.14 лв
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Книга С меки корици
common.buy 15.58 € 30.47 лв
Collection of Antique Asian Puppetry Rick Jordan / Книга С меки корици
common.buy 86.82 € 169.81 лв
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Книга С меки корици
common.buy 15.79 € 30.87 лв
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Книга С меки корици
common.buy 17.55 € 34.32 лв
Two Cures for Love Wendy Cope / E-книга Adobe ePub DRM
common.buy 9.37 € 18.32 лв
Imagining India as a Global Power Sangit K. Ragi / Книга С твърди корици
common.buy 235.26 € 460.13 лв
Revolutionary Yiddishland Alain Brossat / Книга С меки корици
common.buy 15.79 € 30.87 лв
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Книга С твърди корици
common.buy 184.52 € 360.89 лв
Research Methods for the Architectural Profession Aksamija / Книга С меки корици
common.buy 45.82 € 89.61 лв
Phase Transformation and Properties Xun Cai / Книга С меки корици
common.buy 72.38 € 141.56 лв
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Книга С твърди корици
common.buy 234.48 € 458.61 лв
Top
The Laws of Human Nature Robert Greene / Книга С меки корици
common.buy 20.24 € 39.58 лв
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Книга С твърди корици
common.buy 39.24 € 76.75 лв
Psychology of Great Teaching Casper Hulshof / Книга С меки корици
common.buy 41.88 € 81.91 лв
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Книга С меки корици
common.buy 10.30 € 20.14 лв
Red Mars Kim Stanley Robinson / Книга С меки корици
common.buy 15.94 € 31.18 лв
Stress Management Monique Joiner Siedlak / Книга С меки корици
common.buy 10.35 € 20.24 лв
Rose and Witch and Other Stories Mimei Ogawa / Книга С меки корици
common.buy 21.27 € 41.61 лв
Japan's Aging Peace Tom Phuong Le / Книга С меки корици
common.buy 46.90 € 91.73 лв

Вход

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

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

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

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

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