Similar Listings
Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller H
Proof Theory and Logic Programming by Dale Miller: New
Genetic and Evolutionary Computation Ser.: Genetic Programming Theory and...
Stochastic Linear Programming: Models, Theory, and Computation (Hardback or Case
Logic and Computation: By Lawrence C Paulson Hardcover
Theory of Computation by George Tourlakis (2012, Hardcover)
Logic Programming: Operational Semantics and Proof Theory by James H. Andrews (E
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vie...