Presented to you through Paradigm Publishing Services
University of Toronto Press
Book
Licensed
Unlicensed
Requires Authentication
Systems and Computer Science
Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965
-
Edited by:
Language:
English
Published/Copyright:
1967
About this book
This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965, focused on some of the concepts of Computer Science as a new field of study and at the same time provide a background for scientists looking at the subject for the first time.
Author / Editor information
Hart John :
John F. Hart (1923-2002) came to the University of Western Ontario in 1959 and was the first head of the Department of Computer Science, serving from 1964 to 1978. John was also a founder of ATN (Audio-Tactile Network) and facilitated the education of non-sighted students at Western.
Takasu Satoru :
Satoru Takasau was a professor and former director at the Research Institute of Mathematical Sciences at the University of Kyoto, Japan.
Topics
-
Download PDFPublicly Available
Frontmatter
i -
Download PDFPublicly Available
Preface
v -
Download PDFPublicly Available
Acknowledgment
xi -
Download PDFPublicly Available
Contents
xiii -
Download PDFRequires Authentication UnlicensedLicensed
On the Structure of Finite Automata
1 -
Download PDFRequires Authentication UnlicensedLicensed
Synthesis of Sequential Machines
14 -
Download PDFRequires Authentication UnlicensedLicensed
Techniques for Manipulating Regular Expressions
27 -
Download PDFRequires Authentication UnlicensedLicensed
Some Comments on Self-Reproducing Automata
42 -
Download PDFRequires Authentication UnlicensedLicensed
Multiple Control Computer Models
60 -
Download PDFRequires Authentication UnlicensedLicensed
Explicit Definitions and Linguistic Dominoes
77 -
Download PDFRequires Authentication UnlicensedLicensed
Heuristic and Complete Processes in The Mechanization of Theorem Proving
116 -
Download PDFRequires Authentication UnlicensedLicensed
An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus
125 -
Download PDFRequires Authentication UnlicensedLicensed
New Directions in General Theory of Systems
221 -
Download PDFRequires Authentication UnlicensedLicensed
Concerning an Algebraic Theory of Systems
232 -
Download PDFRequires Authentication UnlicensedLicensed
REFERENCES
249
Publishing information
Pages and Images/Illustrations in book
eBook published on:
December 15, 1967
eBook ISBN:
9781487592769
Pages and Images/Illustrations in book
Main content:
264
Other:
figures, graphs, equations throughout
This book is in the series
eBook ISBN:
9781487592769
Audience(s) for this book
College/higher education;Professional and scholarly;
