Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Series=Computerkultur AND Volume=2
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Alan Turing and the Turing machine
Andrew Hodges
Computerkultur
2
, 1995, pp. 3-14
Turings's analysis of computability, and major applications of it
Stephen C. Kleene
Computerkultur
2
, 1995, pp. 15-49
The confluence of ideas in 1936
Robin Gandy
Computerkultur
2
, 1995, pp. 51-102
Turing in the land of
O(z)
Solomon Feferman
Computerkultur
2
, 1995, pp. 103-134
Mathematical logic and the origin of modern computers
Martin Davis
Computerkultur
2
, 1995, pp. 135-158
From universal Turing machines to self-reproduction
Michael A. Arbib
Computerkultur
2
, 1995, pp. 161-172
Computerizing mathematics: Logic and computation
Michael J. Beeson
Computerkultur
2
, 1995, pp. 173-205
Logical depth and physical complexity
Charles H. Bennett
Computerkultur
2
, 1995, pp. 206-235
The busy beaver game and the meaning of life
Allen H. Brady
Computerkultur
2
, 1995, pp. 237-254
An algebraic equation for the halting probability
Gregory J. Chaitin
Computerkultur
2
, 1995, pp. 255-259
The price of programmability
Michael Conrad
Computerkultur
2
, 1995, pp. 261-281
Gandy's principles for mechanisms as a model of parallel computation
Elias Dahlhaus
,
Johann A. Makowsky
Computerkultur
2
, 1995, pp. 283-288
Influences of mathematical logic on computer science
Martin Davisis
Computerkultur
2
, 1995, pp. 289-299
Language and computations
Jens Erik Fenstad
Computerkultur
2
, 1995, pp. 301-321
Finite physiks
David Finkelstein
Computerkultur
2
, 1995, pp. 323-347
Randomness, interactive proofs, and zero-knowledge - A survey
Oded Goldreich
Computerkultur
2
, 1995, pp. 349-375
Algorithms in the world of bounded resources
Yuri Gurevich
Computerkultur
2
, 1995, pp. 377-385
Beyond the Turing machine
Brosl Hasslacher
Computerkultur
2
, 1995, pp. 387-402
Structure
Moshe Koppel
Computerkultur
2
, 1995, pp. 403-419
Mental images and the architecture of concepts
Johann A. Makowsky
Computerkultur
2
, 1995, pp. 421-432
The fifth generation's unbridged gap
Donald Michie
Computerkultur
2
, 1995, pp. 433-454
On the physics and mathematics of thought
Roger Penrose
Computerkultur
2
, 1995, pp. 455-483
Effective processes and natural law
Robert Rosen
Computerkultur
2
, 1995, pp. 485-498
Turing naturalized: von Neumann's unfinished project
Helmut Schnelle
Computerkultur
2
, 1995, pp. 499-517
Complexity theory and interaction
Uwe Schöning
Computerkultur
2
, 1995, pp. 519-536
Seiten 1
2
>