Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
TURING MACHINE AS UNIVERSAL ALGORITHM EXECUTOR AND ITS APPLICATION IN THE PROCESS OF HIGH-SCHOOL STUDENTS` ADVANCED STUDY OF ALGORITHMIZATION AND PROGRAMMING FUNDAMENTALSOleksandr B. YashchykInformation technologies and learning tools, 2016-05, Vol.52 (2), p.10-17 [Periódico revisado por pares]Institute for Digitalisation of Education of the NAES of UkraineTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
NP-Difficult Tasks: Automatic Proof of Theorems and Turings MachineMartyanov, VladimirBaikal Research Journal, 2021-12, Vol.12 (4)Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
ON THE COMPLEXITY OF COMPUTING PRIME TABLES ON THE TURING MACHINESergeev, I. S.Prikladnaya diskretnaya matematika, 2016-03 (31(1)), p.86-91 [Periódico revisado por pares]Texto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Ecological Turing machinesDURAND, Bruno ; MUCHNIK, Andrei ; USHAKOV, Maxim ; VERESHCHAGIN, NikolaiLecture notes in computer science, 2004, p.457-468 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Wadge degrees of w-languages of deterministic turing machinesSELIVANOV, VictorRAIRO. Informatique théorique et applications, 2003, Vol.37 (1), p.67-83 [Periódico revisado por pares]Paris: EDP SciencesTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Wadge degrees of ω-languages of deterministic Turing machinesSELIVANOV, VictorLecture notes in computer science, 2003, p.97-108 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Sur le temps de fonctionnement des machines de Turing probabilistes n'admettant pas d'erreursFREJVALD, R. VTeorija verojatnostej i ee primenenija, 1987, Vol.32 (3), p.565-567 [Periódico revisado por pares]Moskva: NaukaTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Measure Movements of Simeiz-1873 Station in 2002-2005 by GNSSDmytrotsa, A.I.2007 17th International Crimean Conference - Microwave & Telecommunication Technology, 2007, p.835-836IEEETexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Mathematical foundations of epistemology based on experimentsSergey M KrylovVestnik Samarskogo gosudarstvennogo tehničeskogo universiteta. Seriâ Fiziko-matematičeskie nauki, 2015-09, Vol.19 (3), p.534-558 [Periódico revisado por pares]Samara State Technical UniversityTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Математические основы теории познания на основе экспериментовКрылов, Сергей Михайлович ; Krylov, Sergey MikhailovichVestnik Samarskogo gosudarstvennogo tehničeskogo universiteta. Seriâ Fiziko-matematičeskie nauki, 2015, Vol.19 (3), p.534-558 [Periódico revisado por pares]Texto completo disponível |