Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computational Logic

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computational Logic Ulrich Berger
Libristo-code: 02004875
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2012
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Volledige beschrijving
? points 373 b
154.55 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Die Biogenen Amine Markus Guggenheim / Boek Gebonden (paperback)
common.buy 77.17 €
Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann / Boek Gebonden (paperback)
common.buy 53.16 €
El cuaderno de Picasso FLORENTINO PAREDES GARCIA / Boek Gebonden (paperback)
common.buy 12.45 €
Campo Santo W. G. Sebald / Boek Gebonden (harde band)
common.buy 20.55 €
Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon / Boek Gebonden (paperback)
common.buy 34.93 €
FUGA PARA UNA ISLA -NEB PRIEST / Boek Boek
common.buy 8.40 €
Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda / Boek Gebonden (paperback)
common.buy 7.08 €
Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe / Boek Gebonden (paperback)
common.buy 38.38 €
Pflegeoasen in Deutschland Hermann Brandenburg / Boek Gebonden (harde band)
common.buy 53.06 €
Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde / Boek Gebonden (paperback)
common.buy 14.37 €
full goodwill-Methode nach IFRS 3 (2008) Ina Klein / Boek Gebonden (paperback)
common.buy 44.55 €
Betriebsrate Daniel Jäger / Boek Gebonden (paperback)
common.buy 17.11 €
Die Gudrunsage Karl Heinrich Keck / Boek Gebonden (harde band)
common.buy 32.10 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computational Logic
Auteur Ulrich Berger, Helmut Schwichtenberg
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 448
EAN 9783642636707
ISBN 3642636705
Libristo-code 02004875
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 700
Afmetingen 155 x 235 x 25

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Topics in Acoustic Echo and Noise Control Eberhard Hänsler / Boek Gebonden (paperback)
common.buy 181.59 €
Understanding Criminal Justice Azrini Wahidin / Boek Gebonden (paperback)
common.buy 63.90 €
Toothpick: The Greedy Cat Lora Mela / Boek Gebonden (paperback)
common.buy 9.61 €
Systemic Racism in the United States Robbie W. C. Tourse / Boek Gebonden (harde band)
common.buy 110.89 €
Aging with Care Amanda Lambert / Boek Gebonden (paperback)
common.buy 33.21 €
Ocean Sailing Paul Heiney / Boek Gebonden (harde band)
common.buy 26.83 €
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 / Boek Gebonden (paperback)
common.buy 7.69 €
The Great Gatsby: The Only Authorized Edition FITZGERALD F SCOTT / Boek Gebonden (paperback)
common.buy 13.56 €
Curse of the Wolf King TESSONJA ODETTE / Boek Gebonden (harde band)
common.buy 26.93 €
Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary / Boek Gebonden (paperback)
common.buy 10.32 €
TOP
Book Lovers Emily Henry / Boek Gebonden (paperback)
common.buy 8.60 €
The Unfit Brain and the Limits of Moral Bioenhancement Fabrice Jotterand / Boek Gebonden (paperback)
common.buy 117.07 €
Travel to Colombia / Boek Gebonden (harde band)
common.buy 33.62 €
Prostate Cancer: Molecular Events and Therapeutic Modalities Gautam Sethi / Boek Gebonden (harde band)
common.buy 181.39 €
Come From Away Robert Huish / Boek Gebonden (harde band)
common.buy 144.22 €
Complete IELTS Bands 6.5–7.5 Workbook without Answers Rawdon Wyatt / Boek Gebonden (paperback)
common.buy 42.33 €
State of the Poor Frederick Morton Eden / Boek Gebonden (paperback)
common.buy 85.07 €
International Comparative Issues in Government Accounting Aad Bac / Boek Gebonden (paperback)
common.buy 154.55 €
Criminality and Violence among the Mentally Disordered Sheilagh HodginsCarl-Gunnar Janson / Boek Gebonden (paperback)
common.buy 48.20 €
History of Greek Philosophy: Volume 6, Aristotle: An Encounter W. K. C. Guthrie / Boek Gebonden (paperback)
common.buy 108.06 €
Fields of Faith David F. FordBen QuashJanet Martin Soskice / Boek Gebonden (paperback)
common.buy 54.07 €
Planet Treasure Guardians S V Bodle / Boek Gebonden (paperback)
common.buy 19.33 €
Horizontal Agreements and Cartels in EU Competition Law Filip Tuytschaever / Boek Gebonden (harde band)
common.buy 435.91 €
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 / Boek Gebonden (paperback)
common.buy 18.22 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?