Проверка на състоянието на поръчката
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
161.74 €
316.34  лв
Външен склад Изпращаме след 5-8 дни

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

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

Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann / Книга С меки корици
common.buy 55.57 € 108.69 лв
Die Biogenen Amine Markus Guggenheim / Книга С меки корици
common.buy 80.71 € 157.86 лв
Campo Santo W. G. Sebald / Книга С твърди корици
common.buy 21.64 € 42.32 лв
Israelkritik in österreichischen linken Gruppen von 2000 - 2009 Stefan Sifkovits / Книга С меки корици
common.buy 52.03 € 101.75 лв
Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda / Книга С меки корици
common.buy 7.04 € 13.77 лв
FUGA PARA UNA ISLA -NEB PRIEST / Книга Книга
common.buy 8.48 € 16.58 лв
Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon / Книга С меки корици
common.buy 36.70 € 71.79 лв
Carmen – Skutečný život Hany Hegerové Tomáš Padevět / Книга С твърди корици
common.buy 15.47 € 30.26 лв
Die Gudrunsage Karl Heinrich Keck / Книга С твърди корици
common.buy 33.82 € 66.16 лв
Pflegeoasen in Deutschland Hermann Brandenburg / Книга С твърди корици
common.buy 52.44 € 102.56 лв
Herren und Knechte der Kirche Hubertus Mynarek / Книга С меки корици
common.buy 23.44 € 45.84 лв
Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde / Книга С меки корици
common.buy 15.11 € 29.55 лв
full goodwill-Methode nach IFRS 3 (2008) Ina Klein / Книга С меки корици
common.buy 46.83 € 91.60 лв
Betriebsrate Daniel Jäger / Книга С меки корици
common.buy 17.94 € 35.08 лв
Qohelet P. Stefani / Книга С меки корици
common.buy 23.44 € 45.84 лв

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 180.30 € 352.64 лв
Investigating Relationships Among LI, CTE, Poverty, Student Achievement Reddick Katherine / Книга С меки корици
common.buy 223.95 € 438.01 лв
PROCEEDINGS AT THE DEDICATION Brookline (Mass ). / Книга С твърди корици
common.buy 29.56 € 57.81 лв
Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary / Книга С меки корици
common.buy 10.28 € 20.10 лв
Toothpick: The Greedy Cat Lora Mela / Книга С меки корици
common.buy 9.51 € 18.59 лв
Systemic Racism in the United States Robbie W. C. Tourse / Книга С твърди корици
common.buy 116.24 € 227.35 лв
Dueling in Charleston: Violence Refined in the Holy City J Long / Книга С твърди корици
common.buy 24.42 € 47.75 лв
Aging with Care Amanda Lambert / Книга С меки корици
common.buy 30.53 € 59.72 лв
Ocean Sailing Paul Heiney / Книга С твърди корици
common.buy 36.70 € 71.79 лв
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.60 € 14.87 лв
The Great Gatsby: The Only Authorized Edition FITZGERALD F SCOTT / Книга С меки корици
common.buy 13.52 € 26.44 лв
International Comparative Issues in Government Accounting Aad Bac / Книга С меки корици
common.buy 161.74 € 316.34 лв
Top
Book Lovers Emily Henry / Книга С меки корици
common.buy 9.20 € 17.99 лв
Artificial Intelligence and Security Xingming Sun / E-книга Adobe ePub DRM
common.buy 125.24 € 244.94 лв
The Unfit Brain and the Limits of Moral Bioenhancement Fabrice Jotterand / Книга С меки корици
common.buy 122.36 € 239.31 лв
Travel to Colombia / Книга С твърди корици
common.buy 36.70 € 71.79 лв
Prostate Cancer: Molecular Events and Therapeutic Modalities Gautam Sethi / Книга С твърди корици
common.buy 190.02 € 371.64 лв
Come From Away Robert Huish / Книга С твърди корици
common.buy 150.94 € 295.22 лв
Complete IELTS Bands 6.5–7.5 Workbook without Answers Rawdon Wyatt / Книга С меки корици
common.buy 43.34 € 84.76 лв
Understanding Criminal Justice Azrini Wahidin / Книга С меки корици
common.buy 66.52 € 130.11 лв
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.09 € 35.39 лв
Criminality and Violence among the Mentally Disordered Sheilagh HodginsCarl-Gunnar Janson / Книга С меки корици
common.buy 47.81 € 93.51 лв
History of Greek Philosophy: Volume 6, Aristotle: An Encounter W. K. C. Guthrie / Книга С меки корици
common.buy 107.24 € 209.75 лв
Fields of Faith David F. FordBen QuashJanet Martin Soskice / Книга С меки корици
common.buy 53.72 € 105.07 лв

Вход

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

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

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

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

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