Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computational Logic

Limba englezăengleză
Carte Carte broșată
Carte Computational Logic Ulrich Berger
Codul Libristo: 02004875
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2012
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Descrierea completă
? points 394 b
854.78 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Die Biogenen Amine Markus Guggenheim / Carte Carte broșată
common.buy 426.60 lei
Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann / Carte Carte broșată
common.buy 293.78 lei
El cuaderno de Picasso FLORENTINO PAREDES GARCIA / Carte Carte broșată
common.buy 62.96 lei
Campo Santo W. G. Sebald / Carte Copertă tare
common.buy 114.36 lei
Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon / Carte Carte broșată
common.buy 193.90 lei
FUGA PARA UNA ISLA -NEB PRIEST / Carte Carte
common.buy 43.88 lei
Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda / Carte Carte broșată
common.buy 39.09 lei
Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe / Carte Carte broșată
common.buy 213.19 lei
Pflegeoasen in Deutschland Hermann Brandenburg / Carte Copertă tare
common.buy 264.69 lei
Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde / Carte Carte broșată
common.buy 79.85 lei
full goodwill-Methode nach IFRS 3 (2008) Ina Klein / Carte Carte broșată
common.buy 247.49 lei
Betriebsrate Daniel Jäger / Carte Carte broșată
common.buy 95.07 lei
Die Gudrunsage Karl Heinrich Keck / Carte Copertă tare
common.buy 178.68 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computational Logic
Autor Ulrich Berger, Helmut Schwichtenberg
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 448
EAN 9783642636707
ISBN 3642636705
Codul Libristo 02004875
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 700
Dimensiuni 155 x 235 x 25

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Topics in Acoustic Echo and Noise Control Eberhard Hänsler / Carte Carte broșată
common.buy 907.53 lei
Understanding Criminal Justice Azrini Wahidin / Carte Carte broșată
common.buy 349.97 lei
Toothpick: The Greedy Cat Lora Mela / Carte Carte broșată
common.buy 52.95 lei
Systemic Racism in the United States Robbie W. C. Tourse / Carte Copertă tare
common.buy 614.16 lei
Aging with Care Amanda Lambert / Carte Carte broșată
common.buy 181.71 lei
Ocean Sailing Paul Heiney / Carte Copertă tare
common.buy 149.60 lei
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 / Carte Carte broșată
common.buy 42.32 lei
The Great Gatsby: The Only Authorized Edition FITZGERALD F SCOTT / Carte Carte broșată
common.buy 75.78 lei
Curse of the Wolf King TESSONJA ODETTE / Carte Copertă tare
common.buy 148.45 lei
Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary / Carte Carte broșată
common.buy 57.12 lei
Top
Book Lovers Emily Henry / Carte Carte broșată
common.buy 48.57 lei
The Unfit Brain and the Limits of Moral Bioenhancement Fabrice Jotterand / Carte Carte broșată
common.buy 646.58 lei
Travel to Colombia / Carte Copertă tare
common.buy 184.52 lei
Prostate Cancer: Molecular Events and Therapeutic Modalities Gautam Sethi / Carte Copertă tare
common.buy 1 004.28 lei
Come From Away Robert Huish / Carte Copertă tare
common.buy 797.85 lei
Complete IELTS Bands 6.5–7.5 Workbook without Answers Rawdon Wyatt / Carte Carte broșată
common.buy 231.44 lei
State of the Poor Frederick Morton Eden / Carte Carte broșată
common.buy 425.04 lei
International Comparative Issues in Government Accounting Aad Bac / Carte Carte broșată
common.buy 854.78 lei
Criminality and Violence among the Mentally Disordered Sheilagh HodginsCarl-Gunnar Janson / Carte Carte broșată
common.buy 264.38 lei
History of Greek Philosophy: Volume 6, Aristotle: An Encounter W. K. C. Guthrie / Carte Carte broșată
common.buy 539.93 lei
Fields of Faith David F. FordBen QuashJanet Martin Soskice / Carte Carte broșată
common.buy 297.01 lei
Planet Treasure Guardians S V Bodle / Carte Carte broșată
common.buy 106.54 lei
Horizontal Agreements and Cartels in EU Competition Law Filip Tuytschaever / Carte Copertă tare
common.buy 2 187.79 lei
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 / Carte Carte broșată
common.buy 100.28 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?