Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Proof Theory and Logic Programming

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Proof Theory and Logic Programming Dale Miller
Libristo kod: 48601342
Nakladnici Cambridge University Press, studeni 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 196 b
80.71 €
Vanjske zalihe Šaljemo za 9-15 dana

Do 30 dana za povrat

Kupci su kupili i

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Knjiga Meki uvez
common.buy 34.85 €
ciudad y los muertos Javier Kessler / Knjiga Meki uvez
common.buy 9.99 €
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Knjiga Tvrdi uvez
common.buy 37.78 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Knjiga Meki uvez
common.buy 29.39 €
Promociones de ventas al consumidor / Knjiga Meki uvez
common.buy 32.02 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Knjiga Meki uvez
common.buy 29.39 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Knjiga Meki uvez
common.buy 38.99 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Proof Theory and Logic Programming
Autor Dale Miller
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2025
Broj stranica 400
EAN 9781009561297
ISBN 1009561294
Libristo kod 48601342
Nakladnici Cambridge University Press
Težina 612

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming techniques
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Top
Proofs and Refutations Imre Lakatos / Knjiga Meki uvez
common.buy 22.32 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Knjiga Meki uvez
common.buy 7.67 €
Forgotten Sister Nicola Cornick / Audio knjiga MP3
common.buy 14.24 €
Top
The Half of It Madison Beer / Knjiga Tvrdi uvez
common.buy 19.29 €
Pripremamo Novo
Unsettling Extinction Steven Hartman / Knjiga Meki uvez
common.buy 33.43 €
Proof of Work Miriam Beblo / Knjiga Meki uvez
common.buy 22.42 €
Prompt Execution S.W. Michaels / Knjiga Meki uvez
common.buy 20.30 €
Pripremamo Novo
Proper Names and Reference Lenny Clapp / Knjiga Tvrdi uvez
common.buy 126.08 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Knjiga Meki uvez
common.buy 119.51 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?