IMSc Library catalog › Details for: Mathematical aspects of computer science.

Normal view MARC view ISBD view

Mathematical aspects of computer science. [electronic resource] [J. T. Schwartz, editor]

By: (19th : Symposium in Applied Mathematics (19th : 1966 : New York)Contributor(s): Schwartz, Jacob T [ed.] | American Mathematical SocietyMaterial type: Text

TextSeries: Proceedings of symposia in applied mathematics ; v. 19Publication details: Providence, American Mathematical Society, 1967Description: 1 online resource (v, 224 p. : illus.)ISBN: 9780821892343 (online)Subject(s): Machine theory | Computer science -- MathematicsAdditional physical formats: Mathematical aspects of computer science.DDC classification: 001.5/3 LOC classification: QA76 | .S895 1966Online resources: Contents | Contents

Contents:

A review of automatic theorem-proving / J. A. Robinson -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0241195 Assigning meanings to programs / Robert W. Floyd -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0235771 Correctness of a compiler for arithmetic expressions / John McCarthy and James Painter -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0242403 Context-free languages and Turing machine computations / J. Hartmanis -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0235938 Computer analysis of natural languages / Susumu Kuno -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/9918 The use of computers in the theory of numbers / P. Swinnerton-Dyer -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0236091 A machine calculation of a spectral sequence / M. E. Mahowald and M. D. MacLaren -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0236928 Numerical hydrodynamics of the atmosphere / C. E. Leith -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/9917 The calculation of zeros of polynomials and analytic functions / J. F. Traub -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0233965 Mathematical theory of automata / Michael O. Rabin -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0239886 Linearly unrecognizable patterns / Marvin Minsky and Seymour Papert -- http://www.ams.org/psapm/019 http://dx.doi.org/10.1090/psapm/019/0280037

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 29 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK12286

A symposium of the American Mathematical Society.

Includes bibliographies.

A review of automatic theorem-proving / J. A. Robinson -- Assigning meanings to programs / Robert W. Floyd -- Correctness of a compiler for arithmetic expressions / John McCarthy and James Painter -- Context-free languages and Turing machine computations / J. Hartmanis -- Computer analysis of natural languages / Susumu Kuno -- The use of computers in the theory of numbers / P. Swinnerton-Dyer -- A machine calculation of a spectral sequence / M. E. Mahowald and M. D. MacLaren -- Numerical hydrodynamics of the atmosphere / C. E. Leith -- The calculation of zeros of polynomials and analytic functions / J. F. Traub -- Mathematical theory of automata / Michael O. Rabin -- Linearly unrecognizable patterns / Marvin Minsky and Seymour Papert --

http://www.ams.org/psapm/019

http://dx.doi.org/10.1090/psapm/019/0241195

http://www.ams.org/psapm/019

http://dx.doi.org/10.1090/psapm/019/0235771

http://www.ams.org/psapm/019

http://dx.doi.org/10.1090/psapm/019/0242403

http://www.ams.org/psapm/019

http://dx.doi.org/10.1090/psapm/019/0235938

http://www.ams.org/psapm/019

http://dx.doi.org/10.1090/psapm/019/9918

http://www.ams.org/psapm/019

http://dx.doi.org/10.1090/psapm/019/0236091