Такі сторінки посилаються на Мартін Девіс
Показано 17 елементів.
- Алгоритм (← посилання | редагувати)
- Теореми Геделя про неповноту (← посилання | редагувати)
- Алонзо Черч (← посилання | редагувати)
- Характеристична функція (← посилання | редагувати)
- Девіс (прізвище) (← посилання | редагувати)
- Теорія обчислюваності (← посилання | редагувати)
- Універсальна машина Тюрінга (← посилання | редагувати)
- Мантіс (фільм) (← посилання | редагувати)
- Гіларі Патнем (← посилання | редагувати)
- Гіперобчислення (← посилання | редагувати)
- Список об'єктів, названих на честь Давида Гільберта (← посилання | редагувати)
- DPLL алгоритм (← посилання | редагувати)
- Джулія Робінсон (← посилання | редагувати)
- Автоматизоване міркування (← посилання | редагувати)
- Список померлих 2023 року (← посилання | редагувати)
- Премія Стіла (← посилання | редагувати)
- Користувач:PavloChemBot/Неперекладені сторінки/Математика/1 (← посилання | редагувати)