The design of three interpreters - proposition, proposition proof, & predicate
Typescript (photocopy). === Digitized by Kansas Correctional Industries === Department: Computer Science.
Main Author: | Lauxman, Sarah R |
---|---|
Language: | en_US |
Published: |
Kansas State University
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/2097/9926 |
Similar Items
-
Disjoint NP-Pairs and Propositional Proof Systems
by: Wisiol, Nils
Published: (2014) -
Gentzen's Formalization of the Propositional and Predicate Calculus.
by: Hayes, James C.
Published: (1954) -
Applications of Games to Propositional Proof Complexity
by: Hertel, Alexander
Published: (2008) -
Applications of Games to Propositional Proof Complexity
by: Hertel, Alexander
Published: (2008) -
THE DESIGN OF TRANSPORTABLE INTERPRETERS
by: Druseikis, Frederick C. (Frederick Charles), 1949-
Published: (1975)