Erweiterte Suche
 |
Shop
Zufälliger Artikel

Kahle, Reinhard / Schroeder-Heister, Peter / Stärk, Robert (eds.)

Proof Theory in Computer Science

Proof Theory in Computer Science
  • Verlag: Springer
  • Erscheinungsdatum: 2008-06-13
  • Format: Taschenbuch
  • Umfang: 256
  • ISBN: 354042752X
  • EAN: 9783540427520
  • Amazon.de Verkaufsrang: 2.773.125

Bestellen bei Buecher.de! Preis: 47,95 €

Bestellen bei Amazon.de! Neu ab 59,99 €, gebraucht ab 34,99 €.

Neue Bücher bestellen bei: Buch.de.de, Buch24.de, Bol.de, Libri.de, Thalia.de

Gebrauchte und neue Bücher bestellen bei: AbeBooks.de, Booklooker.de

Bestellen Sie über obige Links! Sie fördern dadurch die Digitalisierung weiterer Bücher, da Zeno.org eine Provision von dem Sponsor erhält. Wann immer Sie etwas bestellen möchten - prüfen Sie vorher die Millionen von Angeboten, die im Zeno.org-Shop beschrieben sind. Bookmarken Sie die Einstiegsseite in den Zeno.org-Shop für spätere Gelegenheiten. Vielen Dank für Ihre Unterstützung.
Beschreibung von buecher.de

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.

Proof Theory in Computer Science

Kategorien:
S:Mathematik, Naturwissenschaft & Technik · S:Informatik & EDV · S:Informatik
Lexikalische Einträge zum Thema

Adelung-1793: Heister, die

Brockhaus-1911: Heister [2] · Heister · Kahle · Schroeder

Herder-1854: Heister [2] · Heister [1] · Karl der Kahle · Proof

Meyers-1905: Heister [3] · Heister [2] · Heister [1] · Kahle · Proof spirit

Pagel-1901: Schroeder, Karl · Kolk, Jacobus Ludovicus Conradus Schroeder van der

Pataky-1898: Schroeder, Minna · Schroeder, Frl. Marie · Schroeder, Marie Henriette Luise · Schroeder, Bertha · Schroeder, Frl. Catharine

Pierer-1857: Heister [2] · Heister [1] · Kähle · Kahle · Proof · Eds