UID:
almahu_9947418310602882
Format:
1 online resource (v, 224 p. : illus.)
Edition:
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
ISBN:
9780821892343 (online)
Series Statement:
Proceedings of symposia in applied mathematics, v. 19
Note:
A symposium of the American Mathematical Society.
,
A review of automatic theorem-proving /
,
Assigning meanings to programs /
,
Correctness of a compiler for arithmetic expressions /
,
Context-free languages and Turing machine computations /
,
Computer analysis of natural languages /
,
The use of computers in the theory of numbers /
,
A machine calculation of a spectral sequence /
,
Numerical hydrodynamics of the atmosphere /
,
The calculation of zeros of polynomials and analytic functions /
,
Mathematical theory of automata /
,
Linearly unrecognizable patterns /
,
Mode of access : World Wide Web
Additional Edition:
Print version: Mathematical aspects of computer science. ISSN 0160-7634 ISBN 9780821813195
Language:
English
Bookmarklink
