Proof Theory in Computer Science

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

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

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

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

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

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2001

Stránek

246

EAN

9783540427520

ISBN

354042752X

Enbook ID

01563873

Vydavatel

Springer, Berlin

Hmotnost

363

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Proof Theory in Computer Science

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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