Algorithms in Modern Mathematics and Computer Science:...

Main
Computers - Programming
Algorithms in Modern Mathematics and...

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

Prof. Dr. Heinz Zemanek (auth.), Andrei P. Ershov, Donald E. Knuth (eds.)

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Computers - Programming

Год:

1981

Издание:

1

Издательство:

Springer-Verlag Berlin Heidelberg

Язык:

english

Страницы:

490

ISBN 10:

3540386211

ISBN 13:

9783540386216

Серия:

Lecture Notes in Computer Science 122

Файл:

PDF, 17.67 MB

IPFS:

,

english, 1981

Скачивание этой книги недоступно по жалобе правообладателя

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Вас может заинтересовать

Author — Title

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

— 1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '98

Stephen C Kleene — Turing's Analysis of Computability and Major Applications of it (Oxford

E. Börger — Computability, complexity, logic

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

B. Jack Copeland, Carl J. Posy, Oron Shagrir — Computability: Turing, Gödel, Church, and Beyond

Desconocido — New Computational Paradigms Changing Conceptions Of What Is Computable

P. And Hirschberg, D. Braffort — Computer Programming & Formal Systems

E. Boerger — Computability, Complexity, Logic

Marek Karpinski, J. Van Leeuwen (ed.) — Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

B. A. Kushner — Lectures on Constructive Mathematical Analysis

Rod Downey — Turing's Legacy: Developments from Turing's Ideas in Logic

K Svozil — Randomness And Undecidability In Physics

Andrew Hodges (auth.), S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.) — New Computational Paradigms: Changing Conceptions of What is Computable

Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.) — Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Yuri L. Ershov, Sergey Goncharov — Constructive Models

Cristian S Calude — The Human Face of Computing

S. Barry Cooper, Andrea Sorbi — Computability in Context: Computation and Logic in the Real World

Cooper S.B., Sorbi A. (eds.) — Computability in context. Computation and logic in the real world

Klaus Mainzer — The Digital and the Real World: Computational Foundations of Mathematics, Science, Technology, and Philosophy

Adam Olszewski, Jan Wolenski, Robert Janusz (eds.) — Church's Thesis After 70 Years

Adam Olszewski (editor); Jan Wolenski (editor); Robert Janusz (editor) — Church's Thesis After 70 Years

Andrew Hodges (auth.), Rolf Herken (eds.) — The Universal Turing Machine A Half-Century Survey

Eugenio G. Omodeo, Alberto Policriti (eds.) — Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Jiří Bečvář (auth.), A. Blikle (eds.) — Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974

Dines Bjørner (auth.), P. Dembiński (eds.) — Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

S. Barry Cooper (auth.), S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (eds.) — New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Stuart A. Kurtz, John C. Mitchell (auth.), J. Paul Myers Jr., Michael J. O'Donnell (eds.) — Constructivity in Computer Science: Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding

Ulrich Berger, Helmut Schwichtenberg (eds.) — Computational Logic

Vladimir Uspensky, Alexei Semenov (auth.) — Algorithms: Main Ideas and Applications

Jacques Dubucs, Michel Bourdeau, (eds.) — Constructivity and Computability in Historical and Philosophical Perspective

Ключевые слова