R Kahle
Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings) - Lecture Notes in Computer Science R Kahle

Name: Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings) - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: R Kahle

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 5. - 13. nov.

Ziemassvētku dāvanas var atgriezt līdz 31. janvārim

Saņemiet paziņojumus par jauniem R Kahle izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings) - Lecture Notes in Computer Science

R Kahle

This text constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, and includes 13 revised papers. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, and iterate logic.

246 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2001. gada 28. septembris
ISBN13	9783540427520
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	246
Izmēri	156 × 234 × 13 mm · 362 g
Valoda	Vācu
Redaktors	Kahle, Reinhard
Redaktors	Schroeder-heister, Peter
Redaktors	Stark, Robert F.