Heuristic and Complete Processes in The Mechanization of Theorem Proving

J.A. Robinson

Presented to you through Paradigm Publishing Services

University of Toronto Press

Visit our Partner Page See all our books

Home University of Toronto Press Heuristic and Complete Processes in The Mechanization of Theorem Proving

Chapter

Licensed

Unlicensed Requires Authentication

Heuristic and Complete Processes in The Mechanization of Theorem Proving

MLA
APA
Harvard
Chicago
Vancouver

MLA
APA
Harvard
Chicago
Vancouver

Robinson, J.A.. "Heuristic and Complete Processes in The Mechanization of Theorem Proving". Systems and Computer Science: Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965, edited by John Hart and Satoru Takasu, Toronto: University of Toronto Press, 1967, pp. 116-124. https://doi.org/10.3138/9781487592769-009

Robinson, J. (1967). Heuristic and Complete Processes in The Mechanization of Theorem Proving. In J. Hart & S. Takasu (Ed.), Systems and Computer Science: Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965 (pp. 116-124). Toronto: University of Toronto Press. https://doi.org/10.3138/9781487592769-009

Robinson, J. 1967. Heuristic and Complete Processes in The Mechanization of Theorem Proving. In: Hart, J. and Takasu, S. ed. Systems and Computer Science: Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965. Toronto: University of Toronto Press, pp. 116-124. https://doi.org/10.3138/9781487592769-009

Robinson, J.A.. "Heuristic and Complete Processes in The Mechanization of Theorem Proving" In Systems and Computer Science: Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965 edited by John Hart and Satoru Takasu, 116-124. Toronto: University of Toronto Press, 1967. https://doi.org/10.3138/9781487592769-009

Robinson J. Heuristic and Complete Processes in The Mechanization of Theorem Proving. In: Hart J, Takasu S (ed.) Systems and Computer Science: Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965. Toronto: University of Toronto Press; 1967. p.116-124. https://doi.org/10.3138/9781487592769-009

Copy

Copied to clipboard

BibTeX EndNote RIS

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

This chapter is in the book Systems and Computer Science

Published by

Visit our Partner Page See all our Titles

Search book Search the content of this book

https://doi.org/10.3138/9781487592769-009

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

University of Toronto Press

Heuristic and Complete Processes in The Mechanization of Theorem Proving

Chapter PDF View

Chapters in this book

Chapters in this book

Chapters in this book