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

5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computational Logic and Proof Theory Georg Gottlob
Код Либристо: 05274735
Издателство Springer, Berlin, ноември 1996
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Log... Цялото описание
? points 132 b
54.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Kreda biała Giotto Robercolor 100 sztuk / Канцеларски материали Канцеларски материали
common.buy 6.42 € 12.56 лв
Radiant 1. Tony Valente / Книга С меки корици
common.buy 7.87 € 15.39 лв
Los bucaneros de las Indias Occidentales en el siglo XVII C.H. HARING / Книга С меки корици
common.buy 28.49 € 55.73 лв
Impacto dos factores sociodemográficos nas necessidades de tratamento periodontal Rupali Kalsi / Книга С меки корици
common.buy 41.55 € 81.27 лв
Nepodľahnite vojvodovi Anna Bradley / Книга С твърди корици
common.buy 14.56 € 28.47 лв
Dead Dead Demon's Dededede Destruction #2 Inio Asano / Книга С меки корици
common.buy 17.41 € 34.04 лв
Hétlábú paripák és jó boszorkányok - Varázslatos csíki népmesék Zalka Csenge Virág / Книга С твърди корици
common.buy 12.90 € 25.22 лв
Tier-Ornamentik im Norden Sophos Müller / Книга С меки корици
common.buy 34.09 € 66.68 лв
Pathohistologie Der Zahne Hermann Euler / Книга С меки корици
common.buy 56.01 € 109.55 лв
Skolot Ju Pedago Isk Pieredze Un Perspekt Vas N Kotnes Izgl T B Sandra Puncule / Книга С меки корици
common.buy 47.20 € 92.32 лв
Inmenso estrecho : cuentos sobre inmigración / Книга С меки корици
common.buy 20.36 € 39.82 лв
Kadin Osho (Bhagman Shree Rajneesh) / Книга С меки корици
common.buy 21.24 € 41.54 лв
Furchtlos Andreas Adlon / Книга С меки корици
common.buy 11.24 € 21.98 лв
Principe de l'utilité et l'utilitarisme John Stuart Mill / Книга С меки корици
common.buy 13.52 € 26.44 лв
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Книга С меки корици
common.buy 49.84 € 97.49 лв
Brother for Rent 04 Monika Hammond / Книга С меки корици
common.buy 6.94 € 13.57 лв
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Книга С меки корици
common.buy 37.82 € 73.97 лв
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Аудио Аудио компактдиск
common.buy 52.85 € 103.36 лв
Las Formas de los Viajar Tweedy / Книга С меки корици
common.buy 11.19 € 21.88 лв

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

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

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

Пълно заглавие Computational Logic and Proof Theory
Автор Georg Gottlob, Alexander Leitsch, Daniele Mundici
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 355
Баркод 9783540633853
ISBN 3540633855
Код Либристо 05274735
Издателство Springer, Berlin
Тегло 473
Размери 156 x 234 x 19

Категории

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

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

High Performance Computational Science and Engineering Michael K. Ng / Книга С меки корици
common.buy 108.76 € 212.72 лв
Why Brains Don't Compute Dale Purves / Книга С меки корици
common.buy 85.24 € 166.71 лв
Embracing Your Inner Cheerleader Joan Ellen Gage / Книга С меки корици
common.buy 14.81 € 28.98 лв
Pocahontas Erin Edison / Книга С твърди корици
common.buy 10.20 € 19.96 лв
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Книга С меки корици
common.buy 7.20 € 14.08 лв
Godbuster: Banishes all known gods Elliot George / Книга С меки корици
common.buy 16.37 € 32.02 лв
Blaise de Monluc A. W. Evans / Книга С меки корици
common.buy 19.01 € 37.18 лв
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Книга С твърди корици
common.buy 29.79 € 58.26 лв
Business Finance Eddie McLaney / Книга С меки корици
common.buy 85.44 € 167.11 лв
Global Communication and Collaboration Klaus-Dieter Gronwald / Книга С твърди корици
common.buy 58.70 € 114.82 лв
Classic Horror Stories David Stuart Davies / Книга С твърди корици
common.buy 11.24 € 21.98 лв
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Книга С меки корици
common.buy 13.73 € 26.85 лв
The Essential Tales of Chekhov Anton Pavlovich Chekhov / Книга С меки корици
common.buy 17.20 € 33.64 лв
Modeling and Control of a Tracked Mobile Robot for Pipeline Inspection Piotr Malka / Книга С меки корици
common.buy 108.76 € 212.72 лв
Princess Power Chapter Book #1 Sudipta Bardhan-Quallen / Книга С меки корици
common.buy 9.17 € 17.93 лв
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Книга С меки корици
common.buy 47.20 € 92.32 лв
Modern Art J.-.K. Huysmans / E-книга Adobe ePub DRM
common.buy 14.71 € 28.77 лв
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Книга С твърди корици
common.buy 15.80 € 30.90 лв
Social Demography of South Africa Clifford O. Odimegwu / Книга С меки корици
common.buy 63.94 € 125.05 лв
Degas at the Opera LOYRETTE HENRI / Книга С твърди корици
common.buy 50.47 € 98.70 лв
Interactive Morphonology Martin Maiden / Книга С меки корици
common.buy 58.70 € 114.82 лв
The Life-Changing Magic of Not Giving a F*ck Journal: Practical Ways to Care Less and Get More Sarah Knight / Книга С меки корици
common.buy 14.19 € 27.76 лв
Birthday Candles & Cake Postcard (Pkg of 25) Abingdon Press / Книга С твърди корици
common.buy 8.18 € 16.00 лв
Jung Casement / Книга С меки корици
common.buy 50.93 € 99.61 лв

Вход

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

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

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

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

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