Rekommenderade teman
Rekommenderade teman
Computable functions
Congresses
6
Computational complexity
5
Machine theory
4
Data processing
3
Logic, Symbolic and mathematical
3
Recursive functions
3
Algorithms
2
Computer programming
2
Mathematics
2
Artificial intelligence
1
Computer algorithms
1
Computer science
1
Edinburgh LCF (Computer system)
1
Godel's theorem
1
Pascal (Computer program language)
1
Philosophy
1
Programming languages (Electronic computers)
1
Science
1
-
1
-
2Konferenspublikation BokPublicerad 1984
-
3
-
4
-
5
-
6
-
7Konferenspublikation BokPublicerad 1990
-
8
-
9Konferenspublikation BokPublicerad 1985
-
10
-
11Konferenspublikation BokPublicerad 1979
-
12
-
13KonferenspublikationPublicerad 1982Hämta fulltext
Connect to ACM Digital Library : Conference Proceedings by series STOC (restricted access) http://purl.nla.gov.au/NET/monash/OPAC/acm/proc
Full text available online via ACM Digital Library : Conference Proceedings by series STOC (restricted access)
Full text available online via ACM Digital Library (restricted access)
-
14