Prikaz rezultata 41 – 42 od 42 za pretragu '"Computable function."', vrijeme upita: 0,02s
Detaljiziraj rezultate
-
41
On turing machines. [article]. od Albacea, Eliezer A.
Signatura: loading...
Lokalizirano: loading...Analytics loading... -
42
Satisfied with satisfiability? - a note on the first NP-complete proglem. [article]. od Vergara, John Paul C.
Signatura: loading...
Lokalizirano: loading...Analytics loading...
Alati za pretragu:
Detaljiziraj rezultate
Stranica će se ponovo učitati kad se odabere ili isključi filtar.- College of Engineering Library II 12 rezultata 12
- Diliman Main Library: Info. Services & Instruction Section 5 rezultata 5
- Lahug Library 5 rezultata 5
- UP Baguio Main Library 4 rezultata 4
- College of Engineering Library I 3 rezultata 3
- College of Science 3 rezultata 3
- Institute of Mathematics 2 rezultata 2
- College of Arts and Letters 1 rezultata 1
- College of Arts and Sciences Library 1 rezultata 1
- College of Science and Mathematics 1 rezultata 1
- Diliman Main Library: Social Sciences Section 1 rezultata 1
- pogledaj sve…
- Computable functions 36 rezultata 36
- Logic, Symbolic and mathematical 9 rezultata 9
- Sequential machine theory 9 rezultata 9
- Computational complexity 7 rezultata 7
- Electronic books 7 rezultata 7
- Computer science 4 rezultata 4
- Machine theory 4 rezultata 4
- Formal languages 3 rezultata 3
- Mathematics 3 rezultata 3
- Recursive functions 3 rezultata 3
- Computer-Periodicals 2 rezultata 2
- Data structures (Computer science) 2 rezultata 2
- Electronic data processing 2 rezultata 2
- Functional programming languages 2 rezultata 2
- Logic programming 2 rezultata 2
- Proof theory 2 rezultata 2
- Recursion theory 2 rezultata 2
- Algorithms 1 rezultata 1
- Computable function 1 rezultata 1
- Computer programming 1 rezultata 1
- Data processing 1 rezultata 1
- Molecular computers 1 rezultata 1
- Natural computation 1 rezultata 1
- Nonclassical mathematical logic 1 rezultata 1
- Numerical analysis 1 rezultata 1
- Recursively enumerable sets 1 rezultata 1
- Turing machines 1 rezultata 1
- Unsolvability (Mathematical logic) 1 rezultata 1
- pogledaj sve…
- Martin, John C. 8 rezultata 8
- SpringerLink (Online service) 5 rezultata 5
- Keisler, H. Jerome 3 rezultata 3
- Albacea, Eliezer A. 2 rezultata 2
- Boolos, George 2 rezultata 2
- Burgess, John P. 1948- 2 rezultata 2
- Cooper, S. B. (S. Barry) 2 rezultata 2
- Cutland, Nigel 2 rezultata 2
- Hein, James L. 2 rezultata 2
- Jeffrey, Richard C. 2 rezultata 2
- Lowe, Benedikt 2 rezultata 2
- Rich, Elaine 2 rezultata 2
- Robbin, Joel 2 rezultata 2
- Robbin, Joel W. 2 rezultata 2
- Sorbi, Andrea 1956- 2 rezultata 2
- Tourlakis, George J. 2 rezultata 2
- Adorna, Henry N. 1 rezultata 1
- Association for Symbolic Logic 1 rezultata 1
- Chou, E.Y 1 rezultata 1
- Conference on Computability in Europe Sofia, Bulgaria 1 rezultata 1
- Downey, R. G. (Rod G.) 1 rezultata 1
- Fernández, Maribel 1 rezultata 1
- Greenberg, Noam 1974- 1 rezultata 1
- Hodel, Richard E. 1 rezultata 1
- Homer, Steven 1 rezultata 1
- Juayong, Richelle Ann B. 1 rezultata 1
- Kiesler, H. Jerome 1 rezultata 1
- Loveland, Donald W. 1 rezultata 1
- Löwe, Benedikt 1 rezultata 1
- Maruoka, Akira 1 rezultata 1
- pogledaj sve…