Incompleteness, Complexity, Randomness and Beyond
Minds and Machines
Creating a computer science canon: a course of "classic" readings in computer science
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
How close did Kurt Gödel get to the University of Wyoming?
ACM SIGACT News
Kurt gödel and computability theory
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Turing'04 Proceedings of the 2004 international conference on Alan Mathison Turing: a celebration of his life and achievements
| Hi-index | 0.00 |