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

Език Английски езикАнглийски език
Книга С меки корици
Книга Computational Logic Ulrich Berger
Код Либристо: 02004875
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2012
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Цялото описание
? points 394 b
162.91 €
318.63  лв
Външен склад Изпращаме след 5-8 дни

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

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

Die Biogenen Amine Markus Guggenheim / Книга С меки корици
common.buy 81.30 € 159.01 лв
Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann / Книга С меки корици
common.buy 55.98 € 109.48 лв
El cuaderno de Picasso FLORENTINO PAREDES GARCIA / Книга С меки корици
common.buy 12.48 € 24.40 лв
Campo Santo W. G. Sebald / Книга С твърди корици
common.buy 21.80 € 42.63 лв
Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon / Книга С меки корици
common.buy 36.97 € 72.31 лв
FUGA PARA UNA ISLA -NEB PRIEST / Книга Книга
common.buy 8.75 € 17.11 лв
Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda / Книга С меки корици
common.buy 7.09 € 13.87 лв
Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe / Книга С меки корици
common.buy 40.65 € 79.50 лв
Pflegeoasen in Deutschland Hermann Brandenburg / Книга С твърди корици
common.buy 53.08 € 103.81 лв
Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde / Книга С меки корици
common.buy 15.22 € 29.77 лв
full goodwill-Methode nach IFRS 3 (2008) Ina Klein / Книга С меки корици
common.buy 47.17 € 92.26 лв
Betriebsrate Daniel Jäger / Книга С меки корици
common.buy 18.12 € 35.44 лв
Die Gudrunsage Karl Heinrich Keck / Книга С твърди корици
common.buy 34.07 € 66.64 лв

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.§Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

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

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

Пълно заглавие Computational Logic
Автор Ulrich Berger, Helmut Schwichtenberg
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 448
Баркод 9783642636707
ISBN 3642636705
Код Либристо 02004875
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 700
Размери 155 x 235 x 25

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Topics in Acoustic Echo and Noise Control Eberhard Hänsler / Книга С меки корици
common.buy 181.61 € 355.19 лв
Understanding Criminal Justice Azrini Wahidin / Книга С меки корици
common.buy 63.90 € 124.97 лв
Toothpick: The Greedy Cat Lora Mela / Книга С меки корици
common.buy 9.58 € 18.73 лв
Systemic Racism in the United States Robbie W. C. Tourse / Книга С твърди корици
common.buy 117.08 € 228.99 лв
Aging with Care Amanda Lambert / Книга С меки корици
common.buy 33.24 € 65.01 лв
Ocean Sailing Paul Heiney / Книга С твърди корици
common.buy 26.87 € 52.56 лв
Sudoku Puzzle Book For Teens: Easy to Medium Sudoku Puzzles Including 330 Sudoku Puzzles with Solutions 3rd Edition, Great Gift for Teens or Tweens Quick Creative / Книга С меки корици
common.buy 7.66 € 14.98 лв
The Great Gatsby: The Only Authorized Edition FITZGERALD F SCOTT / Книга С меки корици
common.buy 13.61 € 26.63 лв
Curse of the Wolf King TESSONJA ODETTE / Книга С твърди корици
common.buy 26.97 € 52.76 лв
Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary / Книга С меки корици
common.buy 10.35 € 20.25 лв
Top
Book Lovers Emily Henry / Книга С меки корици
common.buy 9.26 € 18.12 лв
The Unfit Brain and the Limits of Moral Bioenhancement Fabrice Jotterand / Книга С меки корици
common.buy 123.24 € 241.05 лв
Travel to Colombia / Книга С твърди корици
common.buy 35.16 € 68.76 лв
Prostate Cancer: Molecular Events and Therapeutic Modalities Gautam Sethi / Книга С твърди корици
common.buy 191.45 € 374.44 лв
Come From Away Robert Huish / Книга С твърди корици
common.buy 152.09 € 297.46 лв
Complete IELTS Bands 6.5–7.5 Workbook without Answers Rawdon Wyatt / Книга С меки корици
common.buy 42.30 € 82.74 лв
State of the Poor Frederick Morton Eden / Книга С меки корици
common.buy 85.08 € 166.40 лв
International Comparative Issues in Government Accounting Aad Bac / Книга С меки корици
common.buy 162.91 € 318.63 лв
Criminality and Violence among the Mentally Disordered Sheilagh HodginsCarl-Gunnar Janson / Книга С меки корици
common.buy 48.16 € 94.18 лв
History of Greek Philosophy: Volume 6, Aristotle: An Encounter W. K. C. Guthrie / Книга С меки корици
common.buy 108.02 € 211.27 лв
Fields of Faith David F. FordBen QuashJanet Martin Soskice / Книга С меки корици
common.buy 54.11 € 105.83 лв
Planet Treasure Guardians S V Bodle / Книга С меки корици
common.buy 19.31 € 37.77 лв
Horizontal Agreements and Cartels in EU Competition Law Filip Tuytschaever / Книга С твърди корици
common.buy 435.98 € 852.70 лв
Ivanhoe; Or, the Jew's Daughter; A Melo Dramatic Romance, in Three Acts, Etc. [Based on Sir Walter Scott's Novel of the Same Title.] Thomas Dibdin / Книга С меки корици
common.buy 18.22 € 35.64 лв

Вход

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

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

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

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

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