Presented to you through Paradigm Publishing Services
University of Toronto Press
Chapter
Licensed
Unlicensed
Requires Authentication
An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus
You are currently not able to access this content.
You are currently not able to access this content.
Chapters in this book
- Frontmatter i
- Preface v
- Acknowledgment xi
- Contents xiii
- On the Structure of Finite Automata 1
- Synthesis of Sequential Machines 14
- Techniques for Manipulating Regular Expressions 27
- Some Comments on Self-Reproducing Automata 42
- Multiple Control Computer Models 60
- Explicit Definitions and Linguistic Dominoes 77
- Heuristic and Complete Processes in The Mechanization of Theorem Proving 116
- An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus 125
- New Directions in General Theory of Systems 221
- Concerning an Algebraic Theory of Systems 232
- REFERENCES 249
Chapters in this book
- Frontmatter i
- Preface v
- Acknowledgment xi
- Contents xiii
- On the Structure of Finite Automata 1
- Synthesis of Sequential Machines 14
- Techniques for Manipulating Regular Expressions 27
- Some Comments on Self-Reproducing Automata 42
- Multiple Control Computer Models 60
- Explicit Definitions and Linguistic Dominoes 77
- Heuristic and Complete Processes in The Mechanization of Theorem Proving 116
- An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus 125
- New Directions in General Theory of Systems 221
- Concerning an Algebraic Theory of Systems 232
- REFERENCES 249
