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 and Logic Programming

Język AngielskiAngielski
Książka Twarda
Książka Proof Theory and Logic Programming Dale Miller
Kod Libristo: 48601342
Wydawnictwo Cambridge University Press, listopad 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 196 b
342.35 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Książka Miękka
common.buy 147.70 zł
ciudad y los muertos Javier Kessler / Książka Miękka
common.buy 42.51 zł
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Książka Twarda
common.buy 160.34 zł
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Książka Miękka
common.buy 124.84 zł
Promociones de ventas al consumidor / Książka Miękka
common.buy 135.97 zł
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Książka Miękka
common.buy 124.84 zł
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Książka Miękka
common.buy 165.45 zł

Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

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 and Logic Programming
Autor Dale Miller
Język Angielski
Oprawa Książka - Twarda
Data wydania 2025
Liczba stron 400
EAN 9781009561297
ISBN 1009561294
Kod Libristo 48601342
Wydawnictwo Cambridge University Press
Waga 612

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Techniki programowania
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ć

TOP
Proofs and Refutations Imre Lakatos / Książka Miękka
common.buy 94.86 zł
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Książka Miękka
common.buy 32.38 zł
Forgotten Sister Nicola Cornick / Audiobook MP3
common.buy 63.87 zł
TOP
The Half of It Madison Beer / Książka Twarda
common.buy 70.69 zł
Zapowiedź Nowość
Unsettling Extinction Steven Hartman / Książka Miękka
common.buy 141.79 zł
Proof of Work Miriam Beblo / Książka Miękka
common.buy 95.06 zł
Prompt Execution S.W. Michaels / Książka Miękka
common.buy 85.93 zł
Zapowiedź Nowość
Proper Names and Reference Lenny Clapp / Książka Twarda
common.buy 534.58 zł
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Książka Miękka
common.buy 506.71 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?