Дэвис Мартин Давидович

Доклады и лекции в базе данных Math-Net.Ru

1. Encounters with infinity
   Martin Davis
   Logical Perspectives 2018
   14 мая 2018 г. 15:00   
2. Универсальный компьютер Алана Тьюринга
   Martin Davis
   Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
   28 октября 1999 г.