Produs

Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller

Name: Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller
Brand: Dale Miller
Price: 460.8 RON
Availability: InStock

Vânzător

libris.ro

Cumpără

Pret

460.8 Lei 576 Lei

Categorie (vânzător)

Computers

Marca

Dale Miller

Produs actualizat în urmă cu 14 ore

Descriere YEO:

Proof Theory and Logic Programming: - Disponibil la libris.ro

Pe YEO găsești Proof Theory and Logic Programming: de la Dale Miller, în categoria Computers.

Indiferent de nevoile tale, Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller din categoria Computers îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.

Preț: 460.8 Lei

Caracteristicile produsului Proof Theory and Logic Programming:

Brand: Dale Miller
Categoria: Computers
Magazin: libris.ro
Ultima actualizare: 08-06-2026 00:24:29

Comandă Proof Theory and Logic Programming: Online, Simplu și Rapid

Prin intermediul platformei YEO, poți comanda Proof Theory and Logic Programming: de la libris.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.

Descriere magazin:
Miller, Dale: - Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the \'ACM Transactions on Computational Logic\' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.

Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller - 0 | YEO