Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
- Recursive functions 17
- Algorithms 3
- Unsolvability (Mathematical logic) 3
- Gödel's theorem 2
- Logic, Symbolic and mathematical 2
- Turing machines 2
- Computable functions 1
- Computer programming 1
- Congresses 1
- Constructive mathematics 1
- Data processing 1
- Economics, Mathematical 1
- Induction (Mathematics) 1
- Intuitionistic mathematics 1
- Metamathematics 1
- Number concept 1
- Number theory 1
- Recursion theory 1
- Stochastic approximation 1
-
1
Formalized recursive functionals and formalized realizability
Δημοσίευση 1969Θέματα: “…Recursive functions.…”
Βιβλίο -
2
-
3
-
4
-
5
-
6
-
7
-
8
A decision method for elemantary algebra and goemetry
Δημοσίευση 1951Θέματα: “…Recursive functions.…”
Βιβλίο -
9
-
10
-
11
-
12
-
13
Recursive Function Theory
Δημοσίευση 1962Θέματα: “…Recursive functions Congresses.…”
Πρακτικό Συνεδρίου Βιβλίο -
14
-
15
The foundations of intuitionistic mathematics :
Δημοσίευση 1965Θέματα: “…Recursive functions.…”
Βιβλίο -
16
Minimal degrees of unsolvability and the full approximation construction
Δημοσίευση 1975Θέματα:Βιβλίο -
17