Proof Theory and Logic Programming Computation as Proof Search Miller Hardback

Proof Theory and Logic Programming by Dale Miller: New

Proof Theory And Logic Programming by Miller, Dale (inria Saclay-Ile-De-Franc...

Genetic and Evolutionary Computation Ser.: Genetic Programming Theory and...

Logic Programming: Operational Semantics and Proof Theory by James H. Andrews (E

PROOF THEORY AND LOGIC PROGRAMMING: COMPUTATION AS PROOF SEARCH BY Dale Miller

Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vie...