Martin David Davis » dbpedia-owl:wikiPageWikiLink

dbpedia-owl:wikiPageWikiLink
dbpedia-latam:1928 dbpedia-latam:Alan_Turing dbpedia-latam:Algoritmo_DPLL dbpedia-latam:Algoritmo_de_Davis-Putnam dbpedia-latam:Alonzo_Church dbpedia-latam:Categoría:Alumnado_de_la_Universidad_de_Princeton dbpedia-latam:Categoría:Lógicos_de_Estados_Unidos dbpedia-latam:Categoría:Matemáticos_de_Estados_Unidos dbpedia-latam:Categoría:Matemáticos_del_siglo_XX dbpedia-latam:Categoría:Neoyorquinos dbpedia-latam:Categoría:Profesores_de_la_Universidad_de_Nueva_York dbpedia-latam:Categoría:Teóricos_de_números dbpedia-latam:Décimo_problema_de_Hilbert dbpedia-latam:Elaine_J._Weyuker dbpedia-latam:Emérito dbpedia-latam:Estadounidense dbpedia-latam:Leibniz dbpedia-latam:Matemático dbpedia-latam:Máquina_Post-Turing dbpedia-latam:Nueva_York dbpedia-latam:PhD dbpedia-latam:Ron_Sigal dbpedia-latam:Teoría_de_la_computabilidad dbpedia-latam:Universidad_de_Nueva_York dbpedia-latam:Universidad_de_Princeton