[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Computational Logic and Proof Theory

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 164 b
128.23 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Lord of the Rings Instrumental Solos / С меки корици
common.buy 33.08 лв
A Guide to Learn C++ and PHP Simultaneously Chandrakant Naikodi / С меки корици
common.buy 98.97 лв
Augustine Benedict Groeschel / С меки корици
common.buy 42.77 лв
Salzburger Jahrbuch für Politik 2018 Christian Dirninger / С меки корици
common.buy 94.43 лв
Principe de l'utilité et l'utilitarisme John Stuart Mill / С меки корици
common.buy 30.06 лв
FunKey Mathematics Card Game: Top 10 Detlef Wortmann / С меки корици
common.buy 20.47 лв
Visceral Pain Maria Adele Giamberardino / С меки корици
common.buy 127.32 лв
Ritual Violence and the Maternal in the British Novel, 1740-1820 Raymond F. Hilliard / С твърди корици
common.buy 304.29 лв
THE BOOK OF JOB, FROM THE AUTHORISED VER JOB / С твърди корици
common.buy 66.18 лв
Business Finance Eddie McLaney / С меки корици
common.buy 199.36 лв
Understanding Prophetic People - Blessings and Problems with the Prophetic Gift R. Loren Sandford / С меки корици
common.buy 40.85 лв
Killed in the Open. a Novel. Mary E Kennard / С меки корици
common.buy 53.36 лв

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.

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo