ISBN10: 3540111573, ISBN13: 9783540111573, [publisher: Springer] Softcover 1st edition. 487 pages. 7.80x5.12x1.00 inches. In Stock.
[Exeter, United Kingdom] [Publication Year: 1981]

Paperback / softback. New. ISBN 3540111573 9783540111573 [GB]

ISBN10: 3540111573, ISBN13: 9783540111573, [publisher: Springer] Softcover
[Bayonne, NJ, U.S.A.] [Publication Year: 1981]
Show/Hide image

ISBN10: 3540111573, ISBN13: 9783540111573, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.
[Einbeck, Germany] [Publication Year: ...
Show/Hide image

Springer 1981-12-01 1981 ed. Paperback Very Good Size: 8x1x10; Ex-library paperback in very nice condition with the usual markings and attachments.

Springer, Date: 1981-12-01. Paperback. Very Good. 8x1x10. Ex-library paperback in very nice condition with the usual markings and attachments. 1981. Springer ISBN 3540111573 9783540111573 [US]

ISBN10: 3540111573, ISBN13: 9783540111573, [publisher: Springer 1981-11] Softcover
[Wallingford, United Kingdom] [Publication Year: 1981]

ISBN10: 3540111573, ISBN13: 9783540111573, [publisher: Springer-Verlag, Berlin] Softcover First Edition xi + 487 p; many Ill. [LECTURE NOTES IN COMPUTER SCIENCE ; 122].
[WEDEL, SH, Germany] [Publication Year: 1981]

ISBN10: 3540111573, ISBN13: 9783540111573, [publisher: Berlin ; Heidelberg ; New York [u.a.] : Springer] Softcover XI, 487 S , Abb., 25 cm, Einband leicht fleckig und berieben, Titelblatt mit Bleistiftmarkierung. Proceedings, Urgench, Uzbek SSR, Sept. 16 - 22, 1979. Sprache: Englisch
[Köln, Germany] [Publication Year: 1981]