Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Proof Theory and Logic Programming

Limba englezăengleză
Carte Copertă tare
Carte Proof Theory and Logic Programming Dale Miller
Codul Libristo: 48601342
Editura Cambridge University Press, noiembrie 2025
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
? points 205 b
442.78 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Educacion Para La Equidad de Genero Elida Lucila Campos Alba / Carte Carte broșată
common.buy 193.27 lei
ciudad y los muertos Javier Kessler / Carte Carte broșată
common.buy 55.17 lei
Prompt Engineering im Geschäftsprozessmanagement Keuthen / Carte Copertă tare
common.buy 209.07 lei
Promuovere l'accesso all'istruzione per i bambini rifugiati in Sudafrica Mabel Dzinouya Sithole / Carte Carte broșată
common.buy 163.35 lei
Promociones de ventas al consumidor / Carte Carte broșată
common.buy 178.10 lei
Propozycja redukcji kosztów w MTS-MTO Pedro Vilaça / Carte Carte broșată
common.buy 163.35 lei
promozione del benessere nei bambini. Allenare la mente felice nei contesti educativi Duncan Gillard / Carte Carte broșată
common.buy 213.75 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Proof Theory and Logic Programming
Autor Dale Miller
Limba engleză
Legare Carte - Copertă tare
Data publicării 2025
Număr pagini 400
EAN 9781009561297
ISBN 1009561294
Codul Libristo 48601342
Editura Cambridge University Press
Greutatea 612

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming techniques
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Top
Proofs and Refutations Imre Lakatos / Carte Carte broșată
common.buy 124.69 lei
Dustin Pedroia: The Inspirational Story of Baseball Superstar Dustin Pedroia Bill Redban / Carte Carte broșată
common.buy 42.18 lei
Forgotten Sister Nicola Cornick / Audiobook MP3
common.buy 79.59 lei
Top
The Half of It Madison Beer / Carte Copertă tare
common.buy 95.39 lei
Nou
Unsettling Extinction Steven Hartman / Carte Carte broșată
common.buy 184.55 lei
Proof of Work Miriam Beblo / Carte Carte broșată
common.buy 124.38 lei
Prompt Execution S.W. Michaels / Carte Carte broșată
common.buy 111.39 lei
Curând Nou
Proper Names and Reference Lenny Clapp / Carte Copertă tare
common.buy 688.75 lei
Promotional Pandemonium! Selling Stan Laurel & Oliver Hardy To Depression-Era America - Book Two Richard Greene / Carte Carte broșată
common.buy 656.95 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo