Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Report
|
![]() |
Separating the classes of recursively enumerable languages based on machine sizevan Leeuwen, Jan ; Wiedermann, Jiří2014Texto completo disponível |
2 |
Material Type: Report
|
![]() |
Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121)Gal, Anna ; Koucky, Michal ; Regev, Oded ; Reischuk, RüdigerSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2014Texto completo disponível |
3 |
Material Type: Report
|
![]() |
Question-answering and cognitive automata with background intelligencevan Leeuwen, J ; Wiedermann, Jiri2016Texto completo disponível |
4 |
Material Type: Report
|
![]() |
|
5 |
Material Type: Report
|
![]() |
|
6 |
Material Type: Report
|
![]() |
Computational Complexity of Discrete Problems (Dagstuhl Seminar 11121)Grohe, Martin ; Koucky, Michal ; Reischik, Rüdiger ; van Melkebeek, DieterSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2011Texto completo disponível |
7 |
Material Type: Report
|
![]() |
SELF-REPRODUCING AUTOMATA--SOME IMPLICATIONS FOR THEORETICAL BIOLOGYArbib,Michael A1969Texto completo disponível |
8 |
Material Type: Report
|
![]() |
|
9 |
Material Type: Report
|
![]() |
On Turing Degrees of Walrasian Models and a General Impossibility Result in the Theory of Decision MakingLewis, Alain A1987Texto completo disponível |
10 |
Material Type: Report
|
![]() |
Language-Based Security for Malicious Mobile CodeSchneider, Fred B ; Kozen, Dexter ; Morrisett, Greg ; Myers, Andrew2003Texto completo disponível |