Resultados de búsqueda - Turing (Computer program language)
-
TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS.
Publicado en Journal of Symbolic Logic (Mar2017)
Ver este registro en EBSCOhost
Artículo -
SPECTRA OF STRUCTURES AND RELATIONS.
Publicado en Journal of Symbolic Logic (Mar2007)
Ver este registro en EBSCOhost
Artículo -
BOUNDING HOMOGENEOUS MODELS.
Publicado en Journal of Symbolic Logic (Mar2007)
Ver este registro en EBSCOhost
Artículo -
A Turing Tale.
Publicado en Communications of the ACM (Oct2014)
Ver este registro en EBSCOhost
Opinion -
Stop Chasing the AI Illusion.
Publicado en Communications of the ACM (Apr2007)
Ver este registro en EBSCOhost
Letter -
THE LOGIC OF INTERACTIVE TURING REDUCTION.
Publicado en Journal of Symbolic Logic (Mar2007)
Ver este registro en EBSCOhost
Artículo -
FROM BI-IMMUNITY TO ABSOLUTE UNDECIDABILITY.
Publicado en Journal of Symbolic Logic (Dec2013)
Ver este registro en EBSCOhost
Artículo -
BOUNDING NON-GL AND R.E.A.
Publicado en Journal of Symbolic Logic (Sep2009)
Ver este registro en EBSCOhost
Artículo -
FORCING WITH BUSHY TREES.
Publicado en Bulletin of Symbolic Logic (Jun2017)
Ver este registro en EBSCOhost
Artículo -
SPECTRA OF ATOMIC THEORIES.
Publicado en Journal of Symbolic Logic (Dec2013)
Ver este registro en EBSCOhost
Artículo -
Purpose-Built Languages.
Publicado en Communications of the ACM (Apr2009)
Ver este registro en EBSCOhost
Artículo