Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Proof Theory in Computer Science

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

Język AngielskiAngielski
Książka Miękka
Książka Proof Theory in Computer Science Reinhard Kahle
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
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.35 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

L’interruption de la prescription en matière civile Béridot / Książka Miękka
common.buy 377.26 zł
Luminos / Gra/Zabawka Gra
common.buy 116.82 zł
Fastentücher Peter Knüvener / Książka Miękka
common.buy 203.07 zł
Catoblepas Christian Mauck / Se-Laika / Książka Miękka
common.buy 38.43 zł
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Książka Miękka
common.buy 32.49 zł
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Książka Miękka
common.buy 74.16 zł
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Książka Miękka
common.buy 57.95 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

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

Mogłoby Cię także zainteresować

My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Książka Miękka
common.buy 50.41 zł
Greek Historiography Simon Hornblower / Książka Miękka
common.buy 340.43 zł
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Książka Miękka
common.buy 157.18 zł
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Książka Miękka
common.buy 947.95 zł
Regional Orders at Century's Dawn Etel Solingen / Książka Miękka
common.buy 370.82 zł
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Książka Twarda
common.buy 170.56 zł
Looking for Lost Bird Yvette D. Melanson / Książka Miękka
common.buy 55.84 zł
Uptet RPH EDITORIAL BOARD / Książka Miękka
common.buy 170.76 zł
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington RUPERT BROOKE / Książka Twarda
common.buy 162.81 zł
Engaging Theories in Family Communication Dawn O. Braithwaite / Książka Miękka
common.buy 517.94 zł
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Książka Twarda
common.buy 166.64 zł
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Książka Miękka
common.buy 284.38 zł
The Atonement of Jesus Christ Is for Me Sierra Wilson / Książka Twarda
common.buy 67.11 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?