Proof Theory in Computer Science

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

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

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

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

213.09 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2001

strony

246

EAN

9783540427520

ISBN

354042752X

Enbook ID

01563873

Wydawca

Springer, Berlin

Waga

363

Wymiary

155 x 235 x 13

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Proof Theory in Computer Science

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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