Similar Listings
Proof Theory And Logic Programming by Miller, Dale (inria Saclay-Ile-De-Franc...
Proof Theory And Logic Programming by Miller, Dale (inria Saclay-Ile-De-Franc...
Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H
Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H
Logic Programming: Operational Semantics and Proof Theory by J. Andrews (English
Logic Programming : Operational Semantics And Proof Theory, Paperback by Andr...
Logic Programming: Operational Semantics and Proof Theory by James H. Andrews (E
Proof Theory and Logic Programming: Computation, Miller, Miller,..