Дэвис, Мартин

Разрешение неоднозначностей
Материал из «Знание.Вики»

Дэвис, Мартин (англ. Martin Davis):