Обсуждение:Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable/c000092

Материал из DISCOPAL
< Обсуждение:Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable
Версия от 22:42, 13 мая 2016; Ivan devitsky (обсуждение | вклад) (Ivan devitsky переименовал страницу Обсуждение:Формально об алгоритмах. Вычислительные модели/Задачи/ex-union-decideable-decideable/c000092 в [[Формально об а…)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Страница-перенаправление
Перейти к: навигация, поиск

Перенаправление на:

Источник — «https://discopal.ispras.ru/index.php?title=Обсуждение:Формально_об_алгоритмах._Вычислительные_модели/Задачи/ex-union-decideable-decideable/c000092&oldid=4547»