Systems and Computer Science : Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965 /
This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universitie...
Otros Autores: | , , , , , , , , , , , , , , |
---|---|
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Toronto :
University of Toronto Press,
[2019]
|
Colección: | Heritage
|
Temas: | |
Acceso en línea: | Texto completo Texto completo |
MARC
LEADER | 00000nam a22000005i 4500 | ||
---|---|---|---|
001 | DEGRUYTERUP_9781487592769 | ||
003 | DE-B1597 | ||
005 | 20210830012106.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 210830t20191967onc fo d z eng d | ||
020 | |a 9781487592769 | ||
024 | 7 | |a 10.3138/9781487592769 |2 doi | |
035 | |a (DE-B1597)513795 | ||
035 | |a (OCoLC)1091707617 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a onc |c CA-ON | ||
072 | 7 | |a EDU015000 |2 bisacsh | |
245 | 0 | 0 | |a Systems and Computer Science : |b Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965 / |c ed. by John Hart, Satoru Takasu. |
264 | 1 | |a Toronto : |b University of Toronto Press, |c [2019] | |
264 | 4 | |c ©1967 | |
300 | |a 1 online resource (264 p.) : |b figures, graphs, equations throughout | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a Heritage | |
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Acknowledgment -- |t Contents -- |t On the Structure of Finite Automata -- |t Synthesis of Sequential Machines -- |t Techniques for Manipulating Regular Expressions -- |t Some Comments on Self-Reproducing Automata -- |t Multiple Control Computer Models -- |t Explicit Definitions and Linguistic Dominoes -- |t Heuristic and Complete Processes in The Mechanization of Theorem Proving -- |t An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus -- |t New Directions in General Theory of Systems -- |t Concerning an Algebraic Theory of Systems -- |t REFERENCES |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a This book presents the papers delivered at the Conference on Systems and Computer Science held at the University of Western Ontario in September 1965. The primary purposes of the Conference were the promotion of research and the development of the teaching of computer science in Canadian universities. The papers focus attention 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. The chief developments in computer science have been concerned with the "applied" rather than the "pure" areas of the field: numerical analysis, applied statistics and operations research, and data processing. But there is something more to computers than the physical components and this book represents an attempt to correct the imbalance between "applied" and "pure" by drawing attention to certain theoretical aspects of computer and information science. Among the topics discussed are the theory of finite and infinite automata, aspects of formal language theory, heuristic and non-heuristic approaches to theorem proving and the mathematical formulation of the theory of general systems. There are also references to the problems of machine design, to software systems including higher-level languages, to multiple control computer models and to applied systems. This collection of papers will appeal first to graduate students and professors in Computer Science. It will also be of interest to computer scientists in industry and in government and university research groups and to the scientific public interested in discovering some of the principal ingredients and directions of the computer and information sciences. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2021) | |
650 | 7 | |a EDUCATION / Higher. |2 bisacsh | |
700 | 1 | |a Amarel, Saul, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Arbib, Michael A., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Brozowski, J. A., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Corn, Saul, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Elgot, C.C., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Hart, John F., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Hart, John, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Hartmanis, J., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a McNaughton, Robert, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Mesarovič, Mihajlo D., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Robinson, A., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Robinson, J.A., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Rutledge, J.D., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Takasu, Satoru, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Takasu, Satoru, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Windeknecht, Thomas G., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t University of Toronto Press eBook-Package Archive 1933-1999 |z 9783110490947 |
856 | 4 | 0 | |u https://doi.uam.elogim.com/10.3138/9781487592769 |z Texto completo |
856 | 4 | 0 | |u https://degruyter.uam.elogim.com/isbn/9781487592769 |z Texto completo |
912 | |a 978-3-11-049094-7 University of Toronto Press eBook-Package Archive 1933-1999 |c 1933 |d 1999 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_SN | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_SN | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_PPALL | ||
912 | |a EBA_SSHALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA17SSHEE | ||
912 | |a PDA5EBK |