Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computational Logic

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computational Logic Ulrich Berger
Libristo kód: 02004875
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2012
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Celý popis
? points 353 b
3 532 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Die Biogenen Amine Markus Guggenheim / Kniha Brožovaná
common.buy 1 763 Kč
Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann / Kniha Brožovaná
common.buy 1 214 Kč
El cuaderno de Picasso FLORENTINO PAREDES GARCIA / Kniha Brožovaná
common.buy 278 Kč
Campo Santo W. G. Sebald / Kniha Pevná
common.buy 469 Kč
Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon / Kniha Brožovaná
common.buy 794 Kč
FUGA PARA UNA ISLA -NEB PRIEST / Kniha Kniha
common.buy 202 Kč
Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda / Kniha Brožovaná
common.buy 163 Kč
Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe / Kniha Brožovaná
common.buy 873 Kč
Pflegeoasen in Deutschland Hermann Brandenburg / Kniha Pevná
common.buy 1 219 Kč
Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde / Kniha Brožovaná
common.buy 328 Kč
full goodwill-Methode nach IFRS 3 (2008) Ina Klein / Kniha Brožovaná
common.buy 1 014 Kč
Betriebsrate Daniel Jäger / Kniha Brožovaná
common.buy 389 Kč
Die Gudrunsage Karl Heinrich Keck / Kniha Pevná
common.buy 732 Kč

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).

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computational Logic
Autor Ulrich Berger, Helmut Schwichtenberg
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 448
EAN 9783642636707
ISBN 3642636705
Libristo kód 02004875
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 700
Rozměry 155 x 235 x 25

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Topics in Acoustic Echo and Noise Control Eberhard Hänsler / Kniha Brožovaná
common.buy 3 971 Kč
Understanding Criminal Justice Azrini Wahidin / Kniha Brožovaná
common.buy 1 475 Kč
Toothpick: The Greedy Cat Lora Mela / Kniha Brožovaná
common.buy 220 Kč
Systemic Racism in the United States Robbie W. C. Tourse / Kniha Pevná
common.buy 2 533 Kč
Aging with Care Amanda Lambert / Kniha Brožovaná
common.buy 772 Kč
Ocean Sailing Paul Heiney / Kniha Pevná
common.buy 982 Kč
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 / Kniha Brožovaná
common.buy 176 Kč
The Great Gatsby: The Only Authorized Edition FITZGERALD F SCOTT / Kniha Brožovaná
common.buy 308 Kč
Curse of the Wolf King TESSONJA ODETTE / Kniha Pevná
common.buy 589 Kč
Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary / Kniha Brožovaná
common.buy 237 Kč
Top
Book Lovers Emily Henry / Kniha Brožovaná
common.buy 194 Kč
The Unfit Brain and the Limits of Moral Bioenhancement Fabrice Jotterand / Kniha Brožovaná
common.buy 2 681 Kč
Travel to Colombia / Kniha Pevná
common.buy 776 Kč
Prostate Cancer: Molecular Events and Therapeutic Modalities Gautam Sethi / Kniha Pevná
common.buy 4 140 Kč
Come From Away Robert Huish / Kniha Pevná
common.buy 3 297 Kč
Complete IELTS Bands 6.5–7.5 Workbook without Answers Rawdon Wyatt / Kniha Brožovaná
common.buy 980 Kč
State of the Poor Frederick Morton Eden / Kniha Brožovaná
common.buy 1 860 Kč
International Comparative Issues in Government Accounting Aad Bac / Kniha Brožovaná
common.buy 3 532 Kč
Criminality and Violence among the Mentally Disordered Sheilagh HodginsCarl-Gunnar Janson / Kniha Brožovaná
common.buy 1 110 Kč
History of Greek Philosophy: Volume 6, Aristotle: An Encounter W. K. C. Guthrie / Kniha Brožovaná
common.buy 2 363 Kč
Fields of Faith David F. FordBen QuashJanet Martin Soskice / Kniha Brožovaná
common.buy 1 247 Kč
Planet Treasure Guardians S V Bodle / Kniha Brožovaná
common.buy 444 Kč
Horizontal Agreements and Cartels in EU Competition Law Filip Tuytschaever / Kniha Pevná
common.buy 9 619 Kč
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 / Kniha Brožovaná
common.buy 419 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?