مارتین دیویس

مارتین دیویس
مارتین دیویس
دوغوم	1928 (age عیبارت خطاسی: تانیمایان نوقطالنمیش یازی «۲»–عیبارت خطاسی: تانیمایان نوقطالنمیش یازی «۲»)عیبارت خطاسی: تانیمایان نوقطالنمیش یازی «۲»; نیویورک
میلیت	آمریکا
تحصیل یئری	پرینستون بیلیم‌یوردو
تانینماق سببی	Davis–Putnam algorithm
جایزه‌لر	Chauvenet Prize (1975)
	علمی منسبی
مؤسیسه	نیویورک University
راهنما اۇستادی	آلونزو چرچ
دکتری اؤیرنجیلری	John Denes, Robert Di Paola, Thomas Emerson, Ronald Fechter, Richard Gostanian, Keith Harrow, Barry Jacobs, William Gewirtz, Jean-Pierre Keller, Moshe Koppel, David Linfield, Donald W. Loveland, Eugenio Omodeo, Donald Perlis, Alberto Policriti, Richard Rosenberg, Edward Schwartz, Ron Sigal, Eric Wagner, Martin Zuckerman

مارتین دیویس (اینگیلیسجه: Martin Davis) آمریکالی بیلیم اینسانی. مارتین دیویس پرینستون بیلیم‌یوردودا درس اوْخویوب. چالیشدیغی یئرلریندن بیری نیویورک University‌دیر.

قایناق‌لار

اینگیلیسجه ویکی‌پدیاسی‌نین ایشلدنلری طرفیندن یارانمیش«Martin Davis»، مقاله‌سیندن گؤتورولوبدور.( ۷ سپتامبر ۲۰۱۷ تاریخینده یوْخلانیلیبدیر).