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