Cover Image
Read Now

Algorithms in Modern Mathematics and Computer Science Proceedings, Urgench, Uzbek SSR September 16-22, 1979

Bibliographic Details
Other Authors: Ershov, A. P. (Editor), Knuth, D. E. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1981, 1981
Edition:1st ed. 1981
Series:Lecture Notes in Computer Science
Subjects:
Programming Techniques
Computer Programming
Algorithms
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02197nmm a2200289 u 4500
001 EB000654445
003 EBX01000000000000000507527
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540386216 
100 1 |a Ershov, A. P.  |e [editor] 
245 0 0 |a Algorithms in Modern Mathematics and Computer Science  |h Elektronische Ressource  |b Proceedings, Urgench, Uzbek SSR September 16-22, 1979  |c edited by A. P. Ershov, D. E. Knuth 
250 |a 1st ed. 1981 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1981, 1981 
300 |a XIV, 490 p  |b online resource 
505 0 |a Al-khorezmi his background, his personality his work and his influence -- Algorithms in modern mathematics and computer science -- What are the gains of the theory of algorithms -- On inductive synthesis of programs -- Expanding constructive universes -- The logical approach to programming -- The structural synthesis of programs -- On finding invariant relations of program -- What can we do with problems of exhaustive search? -- The algorithmic complexity of linear algebras -- Algorithms in various contexts -- Role of a notion of algorithm in the arithmetic language semantics -- From logicism to proceduralism (an autobiographical account) -- Abstract computability on algebraic structures -- Algorithms and algebra -- On formal transformations of algorithms -- What should we do having proved a decision problem to be unsolvable? -- On the experience of riding two horses in programming -- Church-rosser transformers and decidable propertis of tree processing -- Supplement 1 summaries of oral presentations -- Supplement 2 technical program -- Supplement 3 publications on the symposium -- List of participants -- Supplement 5 photoillustrations 
653 |a Programming Techniques 
653 |a Computer programming 
653 |a Algorithms 
700 1 |a Knuth, D. E.  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/3-540-11157-3 
856 4 0 |u https://doi.org/10.1007/3-540-11157-3?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.11 

Similar Items