Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Turing, Máquinas de"'
Autor:
Casanova Jaquete, Juan
Publikováno v:
Biblos-e Archivo. Repositorio Institucional de la UAM
instname
instname
Computability and decidability are intimately linked problems which have interested computer scientists and mathematicians for a long time, especially during the last century. Work performed by Turing, Church, Godel, Post, Kleene and other authors co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f682d4224cd6b04b49dab6529a4b38c4
https://hdl.handle.net/10486/668989
https://hdl.handle.net/10486/668989
Autor:
Araújo, Anderson
Publikováno v:
Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.
Orientador: Walter Alexandre Carnielli
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
Made available in DSpace on 2018-08-17T17:02:46Z (GMT). No. of bitstreams: 1 Araujo_Anderson_D.pdf: 1286
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
Made available in DSpace on 2018-08-17T17:02:46Z (GMT). No. of bitstreams: 1 Araujo_Anderson_D.pdf: 1286
Externí odkaz:
http://repositorio.unicamp.br/jspui/handle/REPOSIP/281062
Autor:
Agudelo, Juan Carlos Agudelo
Publikováno v:
Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.
Orientador: Walter Alexandre Carnielli
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-14T17:27:49Z (GMT). No. of bitstreams: 1 Agudelo_JuanCarlosAgudelo_D.
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-14T17:27:49Z (GMT). No. of bitstreams: 1 Agudelo_JuanCarlosAgudelo_D.
Externí odkaz:
http://repositorio.unicamp.br/jspui/handle/REPOSIP/280061
Autor:
Agudelo, Juan Carlos Agudelo
Publikováno v:
Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.
Orientador: Walter Alexandre Carnielli
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-06T09:39:40Z (GMT). No. of bitstreams: 1 Agudelo_JuanCarlosAg
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-06T09:39:40Z (GMT). No. of bitstreams: 1 Agudelo_JuanCarlosAg
Externí odkaz:
http://repositorio.unicamp.br/jspui/handle/REPOSIP/279515