Alonzo Church
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Alonzo_Church
Back to Alonzo Church
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
11_de_agosto
dbpedia-latam:
14_de_junio
dbpedia-latam:
1903
dbpedia-latam:
1924
dbpedia-latam:
1927
dbpedia-latam:
1929
dbpedia-latam:
1936
dbpedia-latam:
1967
dbpedia-latam:
1995
dbpedia-latam:
Alan_Turing
dbpedia-latam:
C._Anthony_Anderson
dbpedia-latam:
Categoría:Informáticos_teóricos_de_Estados_Unidos
dbpedia-latam:
Categoría:Lógicos
dbpedia-latam:
Categoría:Matemáticos_de_Estados_Unidos
dbpedia-latam:
Computación_teórica
dbpedia-latam:
Cálculo_Lambda
dbpedia-latam:
Cálculo_lambda
dbpedia-latam:
Dana_Scott
dbpedia-latam:
David_Kaplan
dbpedia-latam:
EEUU
dbpedia-latam:
Estados_Unidos
dbpedia-latam:
George_Alfred_Barnard
dbpedia-latam:
Hartley_Rogers,_Jr
dbpedia-latam:
Hudson,_Ohio
dbpedia-latam:
J._Barkley_Rosser
dbpedia-latam:
John_George_Kemeny
dbpedia-latam:
Leon_Henkin
dbpedia-latam:
Lisp
dbpedia-latam:
Lógica
dbpedia-latam:
Lógica_combinatoria
dbpedia-latam:
Lógico
dbpedia-latam:
Martin_Davis
dbpedia-latam:
Matemáticas
dbpedia-latam:
Michael_O._Rabin
dbpedia-latam:
Máquina_de_Turing
dbpedia-latam:
Nathan_Salmon
dbpedia-latam:
Ontología_de_Frege-Church
dbpedia-latam:
Oswald_Veblen
dbpedia-latam:
Peter_Andrews
dbpedia-latam:
Principio_de_Church-Turing-Deutsch
dbpedia-latam:
Problema_de_parada
dbpedia-latam:
Problema_indecidible
dbpedia-latam:
Programación_funcional
dbpedia-latam:
Raymond_Smullyan
dbpedia-latam:
Simon_Kochen
dbpedia-latam:
Stephen_Kleene
dbpedia-latam:
Teorema_de_Church-Rosser
dbpedia-latam:
Tesis_de_Church-Turing
dbpedia-latam:
UCLA
dbpedia-latam:
Universidad_de_Princeton
dbpedia-latam:
Washington,_D.C.
dbpedia-latam:
Washington_D.C.