Publication:4040360
From MaRDI portal
zbMath0648.00002MaRDI QIDQ4040360
No author found.
Publication date: 5 June 1993
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
01-06: Proceedings, conferences, collections, etc. pertaining to history and biography
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00Bxx: Conference proceedings and collections of articles
Related Items
Alonzo church:his life, his work and some of his miracles, Event‐enhanced quantum theory and piecewise deterministic dynamics, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, The Developments of the Concept of Machine Computability from 1936 to the 1960s, Computability and Recursion, Recursively enumerable reals and Chaitin \(\Omega\) numbers, On Goles' universal machines: a computational point of view, Randomness and universal machines, Turing oracle machines, online computing, and three displacements in computability theory, Dynamically changing interface as a model of measurement in complex systems, Experience, generations, and limits in machine learning, Analogue MIMO detection, An almost machine-independent theory of program-length complexity, sophistication, and induction