Lecture Notes in Computer Science
© 1981
Algorithms in Modern Mathematics and Computer Science
Proceedings, Urgench, Uzbek SSR September 16-22, 1979
Editors: Ershov, A. P., Knuth, D. E. (Eds.)
Free PreviewBuy this book
- Table of contents (24 chapters)
-
-
Al-khorezmi his background, his personality his work and his influence
Pages 1-81
-
Algorithms in modern mathematics and computer science
Pages 82-99
-
What are the gains of the theory of algorithms
Pages 100-234
-
On inductive synthesis of programs
Pages 235-254
-
Expanding constructive universes
Pages 255-260
-
Table of contents (24 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Algorithms in Modern Mathematics and Computer Science
- Book Subtitle
- Proceedings, Urgench, Uzbek SSR September 16-22, 1979
- Editors
-
- A. P. Ershov
- D. E. Knuth
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 122
- Copyright
- 1981
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-38621-6
- DOI
- 10.1007/3-540-11157-3
- Softcover ISBN
- 978-3-540-11157-3
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- XIV, 490
- Topics