Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
-
2Матеріали конференцій КнигаОпубліковано 1984
-
3
-
4
-
5
-
6
-
7Матеріали конференцій КнигаОпубліковано 1990
-
8
-
9Матеріали конференцій КнигаОпубліковано 1985
-
10
-
11Матеріали конференцій КнигаОпубліковано 1979
-
12
-
13Матеріали конференційОпубліковано 1982Отримати повний текст
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