Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
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
-
2Procedimiento de la Conferencia LibroPublicado 1984
-
3
-
4
-
5
-
6
-
7Procedimiento de la Conferencia LibroPublicado 1990
-
8
-
9Procedimiento de la Conferencia LibroPublicado 1985
-
10
-
11Procedimiento de la Conferencia LibroPublicado 1979
-
12
-
13Procedimiento de la ConferenciaPublicado 1982Enlace del recurso
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