Advances in Programming and Non-numerical ComputationLeslie Fox |
Contents
A Survey of Nonnumerical Applications | 145 |
Theoremproving in Computers | 155 |
Gameplaying and Gamelearning Automata | 183 |
Copyright | |
1 other sections not shown
Other editions - View all
Common terms and phrases
2-expression algebraic ALGOL 60 algorithm analysis applicative structure arguments assignment atom basic brackets called cells chapter clause closure command computer program conditional expression conjunctive normal form consider contains defined denote described descriptors digits disjunctive normal form documents environment evaluation example false functional programs given grammar Herbrand Universe Herbrand's theorem heuristic identifier information retrieval instruction LISP list processing list-structure logical loop machine mathematical means mechanical method Mult nodes non-numerical notation occur operand operation p-word parameters particular position possible Prawitz predicate calculus predicate functions prenex normal form problem procedure programming language proof propositional calculus prove theorems quantifier represented result rules semantic semi-decision procedure sentence sequence Skolem normal form specified stack string structure definition sub-routine symbol syntactic syntax description technique theorem-proving programs translation true universal quantifier variable Wang White piece written