Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 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.06 €
105.73  лв
Външен склад Изпращаме след 5-8 дни

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

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

Kreda biała Giotto Robercolor 100 sztuk / Канцеларски материали Канцеларски материали
common.buy 5.96 € 11.65 лв
Inmenso estrecho : cuentos sobre inmigración / Книга С меки корици
common.buy 20.09 € 39.29 лв
Dragon Ball 40 Akira Toriyama / Книга С меки корици
common.buy 7.65 € 14.97 лв
Perspektiven fur Corporate Citizenship in Deutschland mit Referenz zu Ansatzen in Grossbritannien Katharina Peindl / Книга С меки корици
common.buy 45.01 € 88.04 лв
Nepodľahnite vojvodovi Anna Bradley / Книга С твърди корици
common.buy 15.31 € 29.94 лв
F&E Controling in Theorie und Praxis Christian Kunert / Книга С меки корици
common.buy 17.93 € 35.07 лв
Radiant 1. Tony Valente / Книга С меки корици
common.buy 8.17 € 15.97 лв
Las Formas de los Viajar Tweedy / Книга С меки корици
common.buy 11.35 € 22.20 лв
LA COORDINACIÓN DE PARENTALIDAD Y SU DESARROLLO PROFESIONAL JESUS LORENZO AGUILAR / Аудио Аудио компактдиск
common.buy 52.31 € 102.31 лв
Insuficiencia Pancreatica Exocrina em Animais De Companhia Brenda Carolina Colêto / Книга С меки корици
common.buy 37.51 € 73.37 лв
Brother for Rent 04 Monika Hammond / Книга С меки корици
common.buy 6.88 € 13.46 лв
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / Книга С меки корици
common.buy 45.48 € 88.95 лв
Geld ist Tod (Hardcover-Version) / Книга С твърди корици
common.buy 31.96 € 62.51 лв

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 107.87 € 210.97 лв
Why Brains Don't Compute Dale Purves / Книга С меки корици
common.buy 84.54 € 165.34 лв
Historical and Doctrinal Differences between Catholicism and Protestantism: Are Catholics and Evangelical Christians of Different Faiths? James M Lowrance / Книга С меки корици
common.buy 7.29 € 14.26 лв
Social Demography of South Africa Clifford O. Odimegwu / Книга С меки корици
common.buy 68.30 € 133.57 лв
Top
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Книга С твърди корици
common.buy 16.08 € 31.45 лв
Napoleon Hill's Timeless Thoughts for Today Napoleon Hill / Книга С меки корици
common.buy 19.78 € 38.69 лв
Paul Gauguin's Intimate Journals Paul Gaugin / Книга С твърди корици
common.buy 23.58 € 46.13 лв
Introductory Computer Forensics Xiaodong Lin / Книга С твърди корици
common.buy 126.73 € 247.86 лв
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / Книга С меки корици
common.buy 46.81 € 91.56 лв
Public Servant's Guide to Government in Canada Donna Wood / Книга С меки корици
common.buy 28.16 € 55.07 лв
Embracing Your Inner Cheerleader Joan Ellen Gage / Книга С меки корици
common.buy 15.10 € 29.54 лв
Degas at the Opera LOYRETTE HENRI / Книга С твърди корици
common.buy 50.15 € 98.09 лв
Godbuster: Banishes all known gods Elliot George / Книга С меки корици
common.buy 16.65 € 32.56 лв
Blaise de Monluc A. W. Evans / Книга С меки корици
common.buy 19.37 € 37.88 лв
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / Книга С твърди корици
common.buy 30.37 € 59.39 лв
Business Finance Eddie McLaney / Книга С меки корици
common.buy 84.69 € 165.64 лв
Global Communication and Collaboration Klaus-Dieter Gronwald / Книга С твърди корици
common.buy 58.27 € 113.97 лв
Growing the Citrus Fruits - With Information on Growing Lemons, Oranges, Grape Fruits and Other Citrus Fruits George W. Hood / Книга С меки корици
common.buy 13.97 € 27.33 лв
Animal Places Jacob Bull / E-книга Adobe ePub DRM
common.buy 68.79 € 134.53 лв
Ethics, Law and Health Care Shih-Ning Then / Книга С меки корици
common.buy 77.34 € 151.27 лв
Top
Beware the Villainess!, Vol. 4 V04 / Книга С меки корици
common.buy 16.08 € 31.45 лв
Top
The TKT Course Young Learners Module Kate Gregson / Книга С меки корици
common.buy 29.96 € 58.59 лв
The Recipe: Living Life with Ease Ramdas Ormond / Книга С меки корици
common.buy 13.82 € 27.03 лв
A Family Christmas (Deluxe Edition) Andrea Bocelli / Аудио Аудио плоча
common.buy 44.55 € 87.14 лв

Вход

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

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

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

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

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