Martin Davis (mathematician)
http://dbpedia.org/resource/Martin_Davis_(mathematician) an entity of type: Thing
مارتن ديفيس (بالإنجليزية: Martin Davis) (و. 1928 م) هو رياضياتي، وأستاذ جامعي، وعالم حاسوب أمريكي، ولد في نيويورك، هو عضوٌ في مجتمع الرياضيات الأمريكي، والأكاديمية الأمريكية للفنون والعلوم.
rdf:langString
Martin Davis (* 1928 in New York City) ist ein US-amerikanischer Logiker und theoretischer Informatiker.
rdf:langString
Martin Davis, (Nueva York, 1928) es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL. También es coautor, junto con y de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. También ha escrito el libro La computadora universal, el cual trata la historia de los lógicos,desde Leibniz hasta Turing, cuyo trabajo ha hecho posible la creación de las computadoras. Así mismo es conocido por diseñar las .
rdf:langString
Martin David Davis (born March 8, 1928) is an American mathematician, known for his work on Hilbert's tenth problem.
rdf:langString
Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert. Il a obtenu son doctorat de l’Université de Princeton en 1950, sous la direction d'Alonzo Church. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de (en).
rdf:langString
Martin David Davis (New York, 8 marzo 1928) è un matematico statunitense noto per il suo contributo al decimo problema di Hilbert. Di origini polacche, si è laureato nel 1950 nell'Università di Princeton. È professore emerito presso l'Università di New York. È uno degli autori dell'algoritmo DPLL e ha proposto un modello di macchine di Post-Turing. Nel 1975 gli è stato assegnato il Premio Chauvenet.
rdf:langString
Martin Davis (ur. 1928) – amerykański matematyk znany z prac nad dziesiątym problemem Hilberta, opracowania procedury Davisa-Putnama, i modelu . W 1950 ukończył studia na Uniwersytecie w Princeton, gdzie Alonzo Church był jego promotorem. Obecnie profesor emerytowany Uniwersytetu Nowojorskiego.
rdf:langString
Martin David Davis (Nova Iorque, 8 de março de 1928) é um matemático estadunidense. É conhecido por seu trabalho sobre o décimo problema de Hilbert. Obteve o doutorado na Universidade de Princeton em 1950, orientado por Alonzo Church. É professor emérito da Universidade de Nova Iorque. É co-inventor dos algorítmos Davis-Putnam e DPLL. É coautor, com e , de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, um livro texto sobre teoria da computabilidade. É também conhecido por seu modelo de Máquinas de Post-Turing.
rdf:langString
Мартін Девід Девіс (англ. Martin Davis, народився у 1928 році) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта.
rdf:langString
马丁·戴维·戴维斯（Martin David Davis，1928年3月8日－）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。
rdf:langString
Мартин Дэвид Дэвис (англ. Martin Davis, род. 1928 год) — американский математик, известный своей работой, которая посвящена десятой проблеме Гильберта.
rdf:langString
rdf:langString
مارتن ديفيس
rdf:langString
Martin Davis
rdf:langString
Martin Davis
rdf:langString
Martin Davis
rdf:langString
Martin Davis (disambigua)
rdf:langString
Martin Davis
rdf:langString
Martin Davis (mathematician)
rdf:langString
Martin Davis
rdf:langString
Martin Davis
rdf:langString
Дэвис, Мартин
rdf:langString
Дэвис, Мартин (математик)
rdf:langString
Мартін Девіс
rdf:langString
马丁·戴维·戴维斯
rdf:langString
Martin Davis
rdf:langString
Martin Davis
xsd:date
1928-03-08
xsd:integer
953041
xsd:integer
1122729722
rdf:langString
On the Theory of Recursive Unsolvability
xsd:integer
1950
xsd:date
1928-03-08
rdf:langString
Davis in 1996
xsd:integer
200
rdf:langString
work on Hilbert's tenth problem
rdf:langString
مارتن ديفيس (بالإنجليزية: Martin Davis) (و. 1928 م) هو رياضياتي، وأستاذ جامعي، وعالم حاسوب أمريكي، ولد في نيويورك، هو عضوٌ في مجتمع الرياضيات الأمريكي، والأكاديمية الأمريكية للفنون والعلوم.
rdf:langString
Martin Davis (* 1928 in New York City) ist ein US-amerikanischer Logiker und theoretischer Informatiker.
rdf:langString
Martin Davis, (Nueva York, 1928) es un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Es profesor emérito de la Universidad de Nueva York. Es coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL. También es coautor, junto con y de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. También ha escrito el libro La computadora universal, el cual trata la historia de los lógicos,desde Leibniz hasta Turing, cuyo trabajo ha hecho posible la creación de las computadoras. Así mismo es conocido por diseñar las .
rdf:langString
Martin David Davis (born March 8, 1928) is an American mathematician, known for his work on Hilbert's tenth problem.
rdf:langString
Martin Davis, ou Martin David Davis (né en 1928 à New York) est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbert. Il a obtenu son doctorat de l’Université de Princeton en 1950, sous la direction d'Alonzo Church. Il est professeur émérite de l'université de New York. Il est co-inventeur des algorithmes de Davis-Putnam et DPLL. Il est coauteur, avec Ron Sigal et (en), de l'article Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Calculabilité, complexité et langages, seconde édition : Les fondements de l'informatique théorique), un livre sur la théorie de la calculabilité. Il est aussi connu pour son modèle de (en).
rdf:langString
Martin David Davis (New York, 8 marzo 1928) è un matematico statunitense noto per il suo contributo al decimo problema di Hilbert. Di origini polacche, si è laureato nel 1950 nell'Università di Princeton. È professore emerito presso l'Università di New York. È uno degli autori dell'algoritmo DPLL e ha proposto un modello di macchine di Post-Turing. Nel 1975 gli è stato assegnato il Premio Chauvenet.
rdf:langString
Martin Davis (ur. 1928) – amerykański matematyk znany z prac nad dziesiątym problemem Hilberta, opracowania procedury Davisa-Putnama, i modelu . W 1950 ukończył studia na Uniwersytecie w Princeton, gdzie Alonzo Church był jego promotorem. Obecnie profesor emerytowany Uniwersytetu Nowojorskiego.
rdf:langString
Martin David Davis (Nova Iorque, 8 de março de 1928) é um matemático estadunidense. É conhecido por seu trabalho sobre o décimo problema de Hilbert. Obteve o doutorado na Universidade de Princeton em 1950, orientado por Alonzo Church. É professor emérito da Universidade de Nova Iorque. É co-inventor dos algorítmos Davis-Putnam e DPLL. É coautor, com e , de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, um livro texto sobre teoria da computabilidade. É também conhecido por seu modelo de Máquinas de Post-Turing.
rdf:langString
Мартін Девід Девіс (англ. Martin Davis, народився у 1928 році) — американський математик, відомий своєю роботою, яка присвячена десятій проблемі Гільберта.
rdf:langString
马丁·戴维·戴维斯（Martin David Davis，1928年3月8日－）是一位美国数学家，以在希尔伯特第十问题上的工作而著称。
rdf:langString
Мартин Дэвид Дэвис (англ. Martin Davis, род. 1928 год) — американский математик, известный своей работой, которая посвящена десятой проблеме Гильберта.
xsd:nonNegativeInteger
7442