Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Proof Theory and Logic Programming

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Proof Theory and Logic Programming Dale Miller
Koda Libristo: 48601342
Založba Cambridge University Press, november 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 186 b
77.17 €
Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Proof Theory and Logic Programming
Avtor Dale Miller
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2025
Število strani 400
EAN 9781009561297
ISBN 1009561294
Koda Libristo 48601342
Založba Cambridge University Press
Teža 612

Kategorije

Computing & Information Technology > Computer programming / software engineering > Programming techniques
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Top
Proofs and Refutations Imre Lakatos / Knjiga Mehka
common.buy 21.06 €
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Knjiga Mehka
common.buy 7.28 €
Forgotten Sister Nicola Cornick / Zvočnica MP3
common.buy 13.46 €
Top
The Half of It Madison Beer / Knjiga Trda
common.buy 15.49 €
Kmalu Novo
Unsettling Extinction Steven Hartman / Knjiga Mehka
common.buy 31.79 €
Proof of Work Miriam Beblo / Knjiga Mehka
common.buy 21.16 €
Prompt Execution S.W. Michaels / Knjiga Mehka
common.buy 19.33 €
Kmalu Novo
Proper Names and Reference Lenny Clapp / Knjiga Trda
common.buy 121.02 €
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Knjiga Mehka
common.buy 114.03 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?