Hakutulokset

Топологическая теория Галуа. Разрешимость и неразрешимость уравнений в конечном виде Tekijä Хованский А. Г. Аскольд Георгиевич

Теория Галуа Tekijä Постников М. М. Михаил Михайлович

Проблемы разрешимости и конструктивные модели Tekijä Ершов Е. Л. Юрий Леонидович

Локальная теория степеней неразрешимости Tekijä Арсланов М. М. Марат Мирзаевич

Рекурсивно перечислимые множества и степени неразрешимости Tekijä Арсланов М. М. Марат Мирзаевич

Вычислимость. Введение в теорию рекурсивных функций пер. с англ. Tekijä Катленд Н. Найджел

Теория формальных систем пер. с англ. Tekijä Смальян Р. Раймонд

Степени неразрешимости пер. с англ. Tekijä Шенфилд Дж. Джозеф

Введение в теорию автоматов, языков и вычислений пер. с англ. Tekijä Хопкрофт Дж. Джон

Жемчужины теории формальных языков пер. с англ. Tekijä Саломаа А. Арто

Девять алгоритмов, которые изменили мир. Остроумные идеи, лежащие в основе современных компьютеров... Tekijä Маккормик Д.

Hae kokoteksti
Hae kokoteksti