Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Mathematical Aspects of Computer Science
Edited by:
J. T. Schwartz
Softcover ISBN: | 978-0-8218-1319-5 |
Product Code: | PSAPM/19 |
List Price: | $129.00 |
MAA Member Price: | $116.10 |
AMS Member Price: | $103.20 |
eBook ISBN: | 978-0-8218-9234-3 |
Product Code: | PSAPM/19.E |
List Price: | $125.00 |
MAA Member Price: | $112.50 |
AMS Member Price: | $100.00 |
Softcover ISBN: | 978-0-8218-1319-5 |
eBook: ISBN: | 978-0-8218-9234-3 |
Product Code: | PSAPM/19.B |
List Price: | $254.00 $191.50 |
MAA Member Price: | $228.60 $172.35 |
AMS Member Price: | $203.20 $153.20 |
Click above image for expanded view
Mathematical Aspects of Computer Science
Edited by:
J. T. Schwartz
Softcover ISBN: | 978-0-8218-1319-5 |
Product Code: | PSAPM/19 |
List Price: | $129.00 |
MAA Member Price: | $116.10 |
AMS Member Price: | $103.20 |
eBook ISBN: | 978-0-8218-9234-3 |
Product Code: | PSAPM/19.E |
List Price: | $125.00 |
MAA Member Price: | $112.50 |
AMS Member Price: | $100.00 |
Softcover ISBN: | 978-0-8218-1319-5 |
eBook ISBN: | 978-0-8218-9234-3 |
Product Code: | PSAPM/19.B |
List Price: | $254.00 $191.50 |
MAA Member Price: | $228.60 $172.35 |
AMS Member Price: | $203.20 $153.20 |
-
Book DetailsProceedings of Symposia in Applied MathematicsVolume: 19; 1967; 224 ppMSC: Primary 68
-
Table of Contents
-
Articles
-
J. A. Robinson — A review of automatic theorem-proving [ MR 0241195 ]
-
Robert W. Floyd — Assigning meanings to programs [ MR 0235771 ]
-
John McCarthy and James Painter — Correctness of a compiler for arithmetic expressions [ MR 0242403 ]
-
J. Hartmanis — Context-free languages and Turing machine computations [ MR 0235938 ]
-
Susumu Kuno — Computer analysis of natural languages
-
P. Swinnerton-Dyer — The use of computers in the theory of numbers [ MR 0236091 ]
-
M. E. Mahowald and M. D. MacLaren — A machine calculation of a spectral sequence [ MR 0236928 ]
-
C. E. Leith — Numerical hydrodynamics of the atmosphere
-
J. F. Traub — The calculation of zeros of polynomials and analytic functions [ MR 0233965 ]
-
Michael O. Rabin — Mathematical theory of automata [ MR 0239886 ]
-
Marvin Minsky and Seymour Papert — Linearly unrecognizable patterns [ MR 0280037 ]
-
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Requests
-
Articles
-
J. A. Robinson — A review of automatic theorem-proving [ MR 0241195 ]
-
Robert W. Floyd — Assigning meanings to programs [ MR 0235771 ]
-
John McCarthy and James Painter — Correctness of a compiler for arithmetic expressions [ MR 0242403 ]
-
J. Hartmanis — Context-free languages and Turing machine computations [ MR 0235938 ]
-
Susumu Kuno — Computer analysis of natural languages
-
P. Swinnerton-Dyer — The use of computers in the theory of numbers [ MR 0236091 ]
-
M. E. Mahowald and M. D. MacLaren — A machine calculation of a spectral sequence [ MR 0236928 ]
-
C. E. Leith — Numerical hydrodynamics of the atmosphere
-
J. F. Traub — The calculation of zeros of polynomials and analytic functions [ MR 0233965 ]
-
Michael O. Rabin — Mathematical theory of automata [ MR 0239886 ]
-
Marvin Minsky and Seymour Papert — Linearly unrecognizable patterns [ MR 0280037 ]
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.