Mathematical Aspects of Computer Science

Front Cover
Jacob T. Schwartz, American Mathematical Society
American Mathematical Soc., 1967 - Computer science - 224 pages
0 Reviews
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

A REVIEW OF AUTOMATIC THEOREMPROVING
1
ASSIGNING MEANINGS TO PROGRAMS
19
CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS₂
33
CONTEXTFREE LANGUAGES AND TURING MACHINE COMPUTATIONS
42
COMPUTER ANALYSIS OF NATURAL LANGUAGES₁
52
THE USE OF COMPUTERS IN THE THEORY OF NUMBERS
111
A MACHINE CALCULATION OF A SPECTRAL SEQUENCE
117
NUMERICAL HYDRODYNAMICS OF THE ATMOSPHERE
125
THE CALCULATION OF ZEROS OF POLYNOMIALS AND ANALYTIC FUNCTIONS
138
MATHEMATICAL THEORY OF AUTOMATA
153
LINEARLY UNRECOGNIZABLE PATTERNS₁
176
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 217 - REFERENCES (1) WW Bledsoe and I. Browning, "Pattern Recognition and Reading by Machine," 1959 Proceedings of the Eastern Joint Computer Conference, 225-232.

References to this book

All Book Search results »

References from web pages

Mathematical Aspects of Computer Science, Proc. IFIP Congress 77 ...
Tutorial Session 3B: PROSPECTS FOR PROGRAM VERIFICATION. Chairman: James C. King. Stanford University, Stanford CA. (on leave from: IBM Research, ...
portal.acm.org/ ft_gateway.cfm?id=803192& type=pdf& dl=portal& dl=ACM

MATHEMATICAL ASPECTS OF COMPUTER SCIENCE,
Contents: A review of automatic theorem-proving; Assigning meanings to programs; Correctness of a compiler for arithmetic expressions; Context-free ...
stinet.dtic.mil/ oai/ oai?verb=getRecord& metadataPrefix=html& identifier=AD0669507

Correctness Of A Compiler For Arithmetic Expressions - mccarthy ...
19, Mathematical Aspects of Computer Science (jt Schwartz, ed.) Amer. Math. Soc., Providence, RI, 1967, 33--41. http://citeseer.ist.psu.edu/250173.html More ...
citeseer.ist.psu.edu/ 250173.html

Stanford Artificial tnteliigence Laboratory Memo AIM-228 Computer ...
Stanford Artificial tnteliigence Laboratory. Memo AIM-228. Computer Science Department. Report No. STAN-CS-74-409. July 1973 ...
reports.stanford.edu/ pub/ cstr/ reports/ cs/ tr/ 74/ 409/ CS-TR-74-409.pdf

CURRICULUM VITAE
1995 "An Associative Model for Parallel Computation", presented at the special session titled “Foundations and Mathematical Aspects of Computer Science” ...
www.cs.kent.edu/ ~jbaker/ index_files/ LongVita.doc

Proving programs correct: Some techniques and examples
19, Mathematical Aspects of Computer Science, Schwartz, jt. (Ed.), American Mathematical Society, Providence, ri, 1967, 19-32. 6. Good, di and London, rl, ...
www.springerlink.com/ index/ P5826823315Q0635.pdf

@preamble{ "\def\oldpopl#1{{\it {Conf. Rec. #1 ACM Symposium on ...
... title = "Assigning Meanings to Programs", series = "Symposia in Applied Mathematics", booktitle = "Mathematical Aspects of Computer Science", ...
www.ccs.neu.edu/ home/ wand/ refs.bib

@String{jan = "January"} @String{feb = "February"} @String{mar ...
@String{jan = "January"} @String{feb = "February"} @String{mar = "March"} @String{apr = "April"} @String{aug = "August"} @String{sep = "September"}...
ftp.linux.cz/ pub/ bibliography/ Theory/ dershowitz.bib.gz