Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Proof Theory in Computer Science

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

Sprache EnglischEnglisch
Buch Broschur
Buch Proof Theory in Computer Science Reinhard Kahle
Libristo-Code: 01563873
Verlag Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Fastentücher Peter Knüvener / Buch Broschur
common.buy 44.90 €
Luminos / Spiel/Spielzeug Spiel
common.buy 28.59 €
L’interruption de la prescription en matière civile Béridot / Buch Broschur
common.buy 91.59 €
Windows 11 Karel Klatovský / Buch Broschur
common.buy 13.89 €
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Buch Broschur
common.buy 7.99 €
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Buch Broschur
common.buy 18.09 €
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Buch Broschur
common.buy 13.99 €
Catoblepas Christian Mauck / Se-Laika / Buch Broschur
common.buy 9.90 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Proof Theory in Computer Science
Autor Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2001
Anzahl der Seiten 246
EAN 9783540427520
ISBN 354042752X
Libristo-Code 01563873
Verlag Springer, Berlin
Gewicht 363
Abmessungen 155 x 235 x 13

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

The History Of Coursing - The Waterloo Cup Harding Cox / Buch Broschur
common.buy 14.19 €
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Buch Hardcover
common.buy 40.69 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Buch Broschur
common.buy 11.69 €
Uptet RPH EDITORIAL BOARD / Buch Broschur
common.buy 41.69 €
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington RUPERT BROOKE / Buch Hardcover
common.buy 39.99 €
The Atonement of Jesus Christ Is for Me Sierra Wilson / Buch Hardcover
common.buy 16.49 €
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Buch Broschur
common.buy 69.09 €
Engaging Theories in Family Communication Dawn O. Braithwaite / Buch Broschur
common.buy 125.79 €
Top
COME TOGETHER NAGOSKI EMILY / Buch Broschur
common.buy 15.79 €
Precalculus CLEP Test Study Guide PassYourClass / Buch Hardcover
common.buy 60.19 €
Looking for Lost Bird Yvette D. Melanson / Buch Broschur
common.buy 13.79 €
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Buch Hardcover
common.buy 41.59 €
Logistic Regression Using SAS D. Allison Paul / Buch Broschur
common.buy 71.09 €
Regional Orders at Century's Dawn Etel Solingen / Buch Broschur
common.buy 69.09 €
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Buch Broschur
common.buy 231.49 €
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Buch Broschur
common.buy 42.29 €
Language and Its Normal Processing V.C. Tartter / Buch Hardcover
common.buy 194.09 €
Greek Historiography Simon Hornblower / Buch Broschur
common.buy 87.49 €
Mathematical Statistical Mechanics Colin J. Thompson / Buch Hardcover
common.buy 141.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?