Hopp til hovedinnhold

Klikk her for å se avvik og utvikling i leveransene våre (sist oppdatert 5. september)

Bøker

Dale Miller

Produkter

Proof Theory and Logic Programming : Computation as Proof Search

Proof Theory and Logic Programming : Computation as Proof Search
Miller, Dale
9781009561297 Innbundet
31.12.2025
Engelsk

Forventes utgitt
Programming with Higher-Order Logic

Programming with Higher-Order Logic
Miller, Dale Nadathur, Gopalan
9780521879408 Innbundet
11.06.2012
Engelsk

Produseres på bestilling

Viser 1-2