関連のトピックス ...
関連のトピックス ...
Computable functions
14
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
-
2
-
3会議録 図書出版事項 1990主題: “…Computable functions Data processing Congresses.…”
-
4
-
5
-
6
-
7
-
8
-
9会議録 図書出版事項 1984主題: “…Computable functions Congresses.…”
-
10会議録出版事項 1982主題: “…Computable functions Congresses.…”
全文の入手
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)
-
11
-
12会議録 図書出版事項 1979主題: “…Computable functions Congresses.…”
-
13
-
14会議録 図書出版事項 1985主題: “…Computable functions Congresses.…”