Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
Recursive functions
16
Computable functions
3
Logic, Symbolic and mathematical
3
Formal languages
2
Algorithms
1
Congresses
1
Data processing
1
Economics
1
Functions of real variables
1
Godel's theorem
1
Induction (Mathematics)
1
Lattice theory
1
Mathematical models
1
Metamathematics
1
Model theory
1
Nonclassical mathematical logic
1
Pascal (Computer program language)
1
Sequential machine theory
1
Unsolvability (Mathematical logic)
1
-
1Книгаза авторством Cutland, NigelПредмети: “...Recursive functions....”
Опубліковано 1980
Table of contents
Publisher description
-
2
-
3Книгаза авторством Kleene, Stephen Cole, 1909-Предмети: “...Recursive functions....”
Опубліковано 1965
-
4
-
5Книгаза авторством Moschovakis, Yiannis N.Предмети: “...Recursive functions....”
Опубліковано 1974
-
6
-
7Книгаза авторством Bakker, J. W. de (Jacobus Willem de) 1939-Предмети: “...Recursive functions....”
Опубліковано 1971
-
8Книгаза авторством Rogers, H. (Hartley), 1926-Предмети: “...Recursive functions....”
Опубліковано 1967
-
9
-
10Матеріали конференцій КнигаОпубліковано 1965Предмети: “...Recursive functions....”
-
11
-
12
-
13
-
14Книгаза авторством Shoenfield, Joseph R. (Joseph Robert), 1927-Предмети: “...Recursive functions....”
Опубліковано 1972
-
15Матеріали конференцій КнигаОпубліковано 1977Предмети: “...Recursive functions Congresses....”
-
16Книгаза авторством Mallozzi, John S.Предмети: “...Recursive functions Data processing....”
Опубліковано 1984