Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Proof Theory in Computer Science

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

Reinhard Kahle

Peter Schroeder-Heister

Robert Stärk

Język

Angielski

Książka Miękka

Kod Libristo: 01563873

Wydawnictwo Springer, Berlin, listopad 2000

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu... Cały opis

Kod Libristo: 01563873

154 b

261.63 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

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.

Informacje o książce

Pełna nazwa Proof Theory in Computer Science

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

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2001

Liczba stron 246

EAN 9783540427520

ISBN 354042752X

Kod Libristo 01563873

Wydawnictwo Springer, Berlin

Waga 363

Wymiary 155 x 235 x 13

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów

Proof Theory in Computer Science

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Proof Theory in Computer Science

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Nie masz konta? Zyskaj korzyści konta Libristo!