Showing 41 - 42 results of 42 for search '"Computable functions."', tempo de consulta: 0.01s
Limitar resultados
-
41
On turing machines. [article]. por Albacea, Eliezer A.
Número de Clasificación: loading...
Situado: loading...Analytics loading... -
42
Satisfied with satisfiability? - a note on the first NP-complete proglem. [article]. por Vergara, John Paul C.
Número de Clasificación: loading...
Situado: loading...Analytics loading...
Ferramentas de procura:
Limitar resultados
Page will reload when a filter is selected or excluded.- College of Engineering Library II 12 results 12
- Diliman Main Library: Info. Services & Instruction Section 5 results 5
- Lahug Library 5 results 5
- UP Baguio Main Library 4 results 4
- College of Engineering Library I 3 results 3
- College of Science 3 results 3
- Institute of Mathematics 2 results 2
- College of Arts and Letters 1 results 1
- College of Arts and Sciences Library 1 results 1
- College of Science and Mathematics 1 results 1
- Diliman Main Library: Social Sciences Section 1 results 1
- ver todos...
- Computable functions 36 results 36
- Logic, Symbolic and mathematical 9 results 9
- Sequential machine theory 9 results 9
- Computational complexity 7 results 7
- Electronic books 7 results 7
- Computer science 4 results 4
- Machine theory 4 results 4
- Formal languages 3 results 3
- Mathematics 3 results 3
- Recursive functions 3 results 3
- Computer-Periodicals 2 results 2
- Data structures (Computer science) 2 results 2
- Electronic data processing 2 results 2
- Functional programming languages 2 results 2
- Logic programming 2 results 2
- Proof theory 2 results 2
- Recursion theory 2 results 2
- Algorithms 1 results 1
- Computable function 1 results 1
- Computer programming 1 results 1
- Data processing 1 results 1
- Molecular computers 1 results 1
- Natural computation 1 results 1
- Nonclassical mathematical logic 1 results 1
- Numerical analysis 1 results 1
- Recursively enumerable sets 1 results 1
- Turing machines 1 results 1
- Unsolvability (Mathematical logic) 1 results 1
- ver todos...
- Martin, John C. 8 results 8
- SpringerLink (Online service) 5 results 5
- Keisler, H. Jerome 3 results 3
- Albacea, Eliezer A. 2 results 2
- Boolos, George 2 results 2
- Burgess, John P. 1948- 2 results 2
- Cooper, S. B. (S. Barry) 2 results 2
- Cutland, Nigel 2 results 2
- Hein, James L. 2 results 2
- Jeffrey, Richard C. 2 results 2
- Lowe, Benedikt 2 results 2
- Rich, Elaine 2 results 2
- Robbin, Joel 2 results 2
- Robbin, Joel W. 2 results 2
- Sorbi, Andrea 1956- 2 results 2
- Tourlakis, George J. 2 results 2
- Adorna, Henry N. 1 results 1
- Association for Symbolic Logic 1 results 1
- Chou, E.Y 1 results 1
- Conference on Computability in Europe Sofia, Bulgaria 1 results 1
- Downey, R. G. (Rod G.) 1 results 1
- Fernández, Maribel 1 results 1
- Greenberg, Noam 1974- 1 results 1
- Hodel, Richard E. 1 results 1
- Homer, Steven 1 results 1
- Juayong, Richelle Ann B. 1 results 1
- Kiesler, H. Jerome 1 results 1
- Loveland, Donald W. 1 results 1
- Löwe, Benedikt 1 results 1
- Maruoka, Akira 1 results 1
- ver todos...