Showing 1 - 20
of 58
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computable functions
Institution
Format
Subject
Computable functions
20
Computer science Mathematics
10
Computational complexity
7
Algorithms
6
Computer science
6
Logic, Symbolic and mathematical
more ...
4
Computer programming
4
Machine theory
3
Artificial intelligence
3
Information theory
3
Recursive functions
3
Turing machines
2
Computational intelligence
2
Computers
2
Mathematics
2
Model theory
2
Nonclassical mathematical logic
2
Unsolvability (Mathematical logic)
1
Biology Computer simulation
1
Categories (Mathematics)
1
Combinatorial analysis
1
Electronic data processing
1
Formal languages
1
Gödel's theorem
1
Hilbert's tenth problem
1
History
1
Mathematical analysis
1
Pattern perception
1
Proof theory
1
Quantum theory
see all ...
less ...
Author
42
SpringerLink (Online service)
19
Conference on Computability in Europe
8
Cooper, S. B.
7
Löwe, Benedikt
5
ScienceDirect (Online service)
5
TAMC (Conference)
more ...
4
Manea, Florin
4
Symposium on Mathematical Foundations of Computer Science (1972- )
3
Beckmann, Arnold,
3
Manea, Florin,
2
Beckmann, Arnold
2
Brattka, Vasco, 1966-
2
Cai, Jin-yi, 1961-
2
Conference on Computability in Europe Online)
2
Conference on Computability in Europe Swansea, Wales)
2
Jones, Neil D.
2
Robič, Borut, 1960-
2
Sorbi, Andrea, 1956-
2
SpringerLink (Online Service)
1
Agrawal, Manindra, 1966-
1
Ambos-Spies, Klaus,
1
Anselmo, Marcella
1
Arruda, A. I.
1
Ash, C. J.
1
Berger, Ulrich, 1956-
1
Bienvenu, Laurent,
1
Bonizzoni, Paola
1
Börger, E. 1946-
1
Cantone, Domenico,
1
Chen, Jianer
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication