bn:03850229n
Noun Named Entity
JA
Martin Davis  マーチン・デービス  マーチン・デイヴィス
EN
Martin David Davis was an American mathematician and computer scientist who made significant contributions to the fields of computability theory and mathematical logic. Wikipedia
Relations
Sources