10 results on '"Friedman, Joyce"'
Search Results
2. A Non-Numerical Approach to Production Scheduling Problems
3. A Computer Program for a Solvable Case of the Decision Problem.
4. A Semi-Decision Procedure for the Functional Calculus.
5. A Decision Procedure for Computations of Finite Automata.
6. E1138
7. Application of Recursive Arithmetic to the Problem of Circuit Synthesis Alonzo Church
8. Formalization and Automatic Theorem-Proving. Hao Wang Wayne A. Kalenich
9. A Non-Heuristic Program for Proving Elementary Logical Theorems B. Dunham R. Fridshal G. L. Sward
10. Words in the History of a Turing Machine with a Fixed Input Michael O. Rabin Hao Wang
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.