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
SKU: 0ec979e0a1e23a5cdf4d678cc2b15689
Price: 518.40 RON
Availability: InStock

Vânzător

libris.ro

Cumpără

Pret

518.4 Lei 576 Lei

Categorie (vânzător)

Computers

Marca

Dale Miller

Produs actualizat în urmă cu 1 lună

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ț: 518.4 Lei

Caracteristicile produsului Proof Theory and Logic Programming:

Brand: Dale Miller
Categoria: Computers
Magazin: libris.ro
Ultima actualizare: 02-07-2026 01:12:41

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

Produse asemănătoare

Telepathy Its Theory, Facts and Proof, Paperback/***

elefant.ro Actualizat in 13/07/2026

69.59 Lei

Vezi oferta

Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic, Paperback/Odysseus Makridis

elefant.ro Actualizat in 13/07/2026

113.99 Lei

Vezi oferta