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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Proof Theory in Computer Science Reinhard Kahle
Libristo-code: 01563873
Uitgeverij Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu... Volledige beschrijving
? points 125 b
51.53 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Fastentücher Peter Knüvener / Boek Gebonden (paperback)
common.buy 40.03 €
Luminos / Spel/speelgoed Spel
common.buy 27.43 €
L’interruption de la prescription en matière civile Béridot / Boek Gebonden (paperback)
common.buy 88.55 €
Windows 11 Karel Klatovský / Boek Gebonden (paperback)
common.buy 13.20 €
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Boek Gebonden (paperback)
common.buy 7.66 €
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Boek Gebonden (paperback)
common.buy 17.34 €
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Boek Gebonden (paperback)
common.buy 13.51 €
Catoblepas Christian Mauck / Se-Laika / Boek Gebonden (paperback)
common.buy 8.97 €

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001.The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.

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 Proof Theory in Computer Science
Auteur Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 246
EAN 9783540427520
ISBN 354042752X
Libristo-code 01563873
Uitgeverij Springer, Berlin
Gewicht 363
Afmetingen 155 x 235 x 13

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

The History Of Coursing - The Waterloo Cup Harding Cox / Boek Gebonden (paperback)
common.buy 13.71 €
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Boek Gebonden (harde band)
common.buy 39.13 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Boek Gebonden (paperback)
common.buy 11.29 €
Uptet RPH EDITORIAL BOARD / Boek Gebonden (paperback)
common.buy 40.03 €
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington RUPERT BROOKE / Boek Gebonden (harde band)
common.buy 38.22 €
The Atonement of Jesus Christ Is for Me Sierra Wilson / Boek Gebonden (harde band)
common.buy 15.73 €
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Boek Gebonden (paperback)
common.buy 66.66 €
Engaging Theories in Family Communication Dawn O. Braithwaite / Boek Gebonden (paperback)
common.buy 121.53 €
TOP
COME TOGETHER NAGOSKI EMILY / Boek Gebonden (paperback)
common.buy 14.92 €
Precalculus CLEP Test Study Guide PassYourClass / Boek Gebonden (harde band)
common.buy 57.89 €
Looking for Lost Bird Yvette D. Melanson / Boek Gebonden (paperback)
common.buy 13.10 €
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Boek Gebonden (harde band)
common.buy 40.03 €
Logistic Regression Using SAS D. Allison Paul / Boek Gebonden (paperback)
common.buy 68.28 €
Regional Orders at Century's Dawn Etel Solingen / Boek Gebonden (paperback)
common.buy 66.66 €
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Boek Gebonden (paperback)
common.buy 222.40 €
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Boek Gebonden (paperback)
common.buy 40.74 €
Language and Its Normal Processing V.C. Tartter / Boek Gebonden (harde band)
common.buy 185.48 €
Greek Historiography Simon Hornblower / Boek Gebonden (paperback)
common.buy 84.41 €
Mathematical Statistical Mechanics Colin J. Thompson / Boek Gebonden (harde band)
common.buy 190.73 €

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?