Отображение 41 - 42 результаты of 42 для поиска '"Computable function."', время запроса: 0.02сек.
Отмена результатов
-
41
On turing machines. [article]. по Albacea, Eliezer A.
Шифр: loading...
Местонахождение: loading...Analytics loading... -
42
Satisfied with satisfiability? - a note on the first NP-complete proglem. [article]. по Vergara, John Paul C.
Шифр: loading...
Местонахождение: loading...Analytics loading...
Инструменты поиска:
Отмена результатов
Страница будет перезагружена при выборе или исключении фильтра.- College of Engineering Library II 12 результатов 12
- Diliman Main Library: Info. Services & Instruction Section 5 результатов 5
- Lahug Library 5 результатов 5
- UP Baguio Main Library 4 результатов 4
- College of Engineering Library I 3 результатов 3
- College of Science 3 результатов 3
- Institute of Mathematics 2 результатов 2
- College of Arts and Letters 1 результатов 1
- College of Arts and Sciences Library 1 результатов 1
- College of Science and Mathematics 1 результатов 1
- Diliman Main Library: Social Sciences Section 1 результатов 1
- см. все...
- Computable functions 36 результатов 36
- Logic, Symbolic and mathematical 9 результатов 9
- Sequential machine theory 9 результатов 9
- Computational complexity 7 результатов 7
- Electronic books 7 результатов 7
- Computer science 4 результатов 4
- Machine theory 4 результатов 4
- Formal languages 3 результатов 3
- Mathematics 3 результатов 3
- Recursive functions 3 результатов 3
- Computer-Periodicals 2 результатов 2
- Data structures (Computer science) 2 результатов 2
- Electronic data processing 2 результатов 2
- Functional programming languages 2 результатов 2
- Logic programming 2 результатов 2
- Proof theory 2 результатов 2
- Recursion theory 2 результатов 2
- Algorithms 1 результатов 1
- Computable function 1 результатов 1
- Computer programming 1 результатов 1
- Data processing 1 результатов 1
- Molecular computers 1 результатов 1
- Natural computation 1 результатов 1
- Nonclassical mathematical logic 1 результатов 1
- Numerical analysis 1 результатов 1
- Recursively enumerable sets 1 результатов 1
- Turing machines 1 результатов 1
- Unsolvability (Mathematical logic) 1 результатов 1
- см. все...
- Martin, John C. 8 результатов 8
- SpringerLink (Online service) 5 результатов 5
- Keisler, H. Jerome 3 результатов 3
- Albacea, Eliezer A. 2 результатов 2
- Boolos, George 2 результатов 2
- Burgess, John P. 1948- 2 результатов 2
- Cooper, S. B. (S. Barry) 2 результатов 2
- Cutland, Nigel 2 результатов 2
- Hein, James L. 2 результатов 2
- Jeffrey, Richard C. 2 результатов 2
- Lowe, Benedikt 2 результатов 2
- Rich, Elaine 2 результатов 2
- Robbin, Joel 2 результатов 2
- Robbin, Joel W. 2 результатов 2
- Sorbi, Andrea 1956- 2 результатов 2
- Tourlakis, George J. 2 результатов 2
- Adorna, Henry N. 1 результатов 1
- Association for Symbolic Logic 1 результатов 1
- Chou, E.Y 1 результатов 1
- Conference on Computability in Europe Sofia, Bulgaria 1 результатов 1
- Downey, R. G. (Rod G.) 1 результатов 1
- Fernández, Maribel 1 результатов 1
- Greenberg, Noam 1974- 1 результатов 1
- Hodel, Richard E. 1 результатов 1
- Homer, Steven 1 результатов 1
- Juayong, Richelle Ann B. 1 результатов 1
- Kiesler, H. Jerome 1 результатов 1
- Loveland, Donald W. 1 результатов 1
- Löwe, Benedikt 1 результатов 1
- Maruoka, Akira 1 результатов 1
- см. все...