Proof Theory in Computer Science

Name: Proof Theory in Computer Science
Brand: Springer, Berlin
SKU: 9783540427520
Price: 50.13 EUR
Availability: InStock

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

Autor: Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu...

Informácie o knihe

Autor

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2001

Stránok

246

EAN

9783540427520

ISBN

354042752X

Enbook ID

01563873

Vydavateľ

Springer, Berlin

Hmotnosť

363

Rozmery

155 x 235 x 13

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof Theory in Computer Science

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8

Greek Historiography

Trouble-Free Transitions for New Teachers

Laser Plasma Theory and Simulation

Regional Orders at Century's Dawn

Sae Transactions, Volume 11, Part 2

Looking for Lost Bird

Uptet

Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington

Engaging Theories in Family Communication

Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration

Feminist Advocacy, Family Law and Violence Against Women

The Atonement of Jesus Christ Is for Me

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

L’interruption de la prescription en matière civile

Luminos

Fastentücher

Catoblepas

Dieta alcalina: Las Mejores Recetas Alcalinas

Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly

El verb hebreu : conjugació i petit diccionari