Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Proof Theory in Computer Science

Name: Proof Theory in Computer Science
Brand: Springer, Berlin
SKU: 01563873
Price: 1182 CZK
Availability: InStock
Author: Reinhard Kahle
ISBN: 9783540427520

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

Reinhard Kahle

Peter Schroeder-Heister

Robert Stärk

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01563873

Nakladatelství Springer, Berlin, listopad 2000

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

Libristo kód: 01563873

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

L’interruption de la prescription en matière civile Béridot

Brožovaná

2 148 Kč

Luminos

Hra

665 Kč

Fastentücher Peter Knüvener

Brožovaná

914 Kč

Catoblepas Christian Mauck / Se-Laika

Brožovaná

206 Kč

Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz

Brožovaná

176 Kč

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

Brožovaná

402 Kč

El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa

Brožovaná

330 Kč

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.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Proof Theory in Computer Science

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

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2001

Počet stran 246

EAN 9783540427520

ISBN 354042752X

Libristo kód 01563873

Nakladatelství Springer, Berlin

Váha 363

Rozměry 155 x 235 x 13

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design