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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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.75 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Prompt Engineering im Geschäftsprozessmanagement Keuthen / Knjiga Tvrdi uvez
common.buy 37.79 €
ciudad y los muertos Javier Kessler / Knjiga Meki uvez
common.buy 10.00 €
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Knjiga Meki uvez
common.buy 29.40 €
Promociones de ventas al consumidor / Knjiga Meki uvez
common.buy 32.03 €
Thomas kocht: Brot, Brötchen und Gebäck Thomas Dippel / Knjiga Tvrdi uvez
common.buy 16.97 €
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Knjiga Meki uvez
common.buy 29.40 €
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Knjiga Meki uvez
common.buy 38.70 €
Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Knjiga Meki uvez
common.buy 34.86 €

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

Proofs and Refutations Imre Lakatos / Knjiga Meki uvez
common.buy 22.33 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Knjiga Meki uvez
common.buy 119.56 €
Pripremamo Novo
Proper Names and Reference Lenny Clapp / Knjiga Tvrdi uvez
common.buy 126.13 €
Prompt Execution S.W. Michaels / Knjiga Meki uvez
common.buy 20.31 €
Proof of Work Miriam Beblo / Knjiga Meki uvez
common.buy 20.00 €
Novo
Unsettling Extinction Steven Hartman / Knjiga Meki uvez
common.buy 33.45 €
Top
The Half of It Madison Beer / Knjiga Tvrdi uvez
common.buy 18.69 €
Forgotten Sister Nicola Cornick / Audio knjiga MP3
common.buy 14.34 €
A Guide to the Snakes of Pakistan Muhammad Sharif Khan / Knjiga Tvrdi uvez
common.buy 33.24 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Knjiga Meki uvez
common.buy 7.67 €

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