Proof Theory in Computer Science

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

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

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

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 075 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2001

oldal

246

EAN

9783540427520

ISBN

354042752X

Enbook ID

01563873

Kiadó

Springer, Berlin

Súly

363

Méretek

155 x 235 x 13

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Proof Theory in Computer Science

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

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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