Исчисление с квантором элементарной эквивалентности
Displaying 241 – 260 of 1185
Исчисления равенств для классов Гжегорчика
М.Х. Фахми (1977)
Zapiski naucnych seminarov Leningradskogo
Исчисления с монотонными выводами и их экономическая интерпретация
С.Ю. Маслов (1979)
Zapiski naucnych seminarov Leningradskogo
Итеративное описание класса иерархии Гжегорчика
А.П. Бельтюков (1976)
Zapiski naucnych seminarov Leningradskogo
Итерированная клиниевская вычислимость.
Н.В. Белякин (1989)
Sibirskij matematiceskij zurnal
Итерированная клиниевская вычислимость и суперджамп
Н.В. Белякин (1976)
Matematiceskij sbornik
Итерированные обогащения моделей счетных теорий и их приложения.
С.С. Гончаров, М. Пурмахдиан, S. S. Gončarov, M. Purmachdian, S. S. Gončarov, M. Purmahdian, S. S. Gončarov, M. Purmachdian (1995)
Algebra i Logika
Итерированные операции и R- операция
И.И. Паровиченко (1977)
Matematiceskie issledovanija
К вопросу Л.В.Келдыш о структуре борелевских множеств
А.В. Островский (1988)
Matematiceskij sbornik
К вопросу моделирования булевых случайных величин функциями алгебры логоки
Ф.И. Салимов (1979)
Verojatnostnye metody i kibernetika
К вопросу об автоматной сложности языков и сложности распознавания по Лавленду
Ф.М. Аблаев (1983)
Verojatnostnye metody i kibernetika
К магнусовой обобщенной проблеме тождества слов
М.Д. Гриндлингер (1954)
Sibirskij matematiceskij zurnal
К описанию моноидов, над которыми все полигоны имеют -стабильную теорию
Т.Г. Мустафин (1990)
Algebra i Logika
К проблемам семантической информации
Ladislav Tondl (1972)
Kybernetika
К проблеме тождества слов для конечно-определенных полугрупп
А.Е. Устян (1972)
Sibirskij matematiceskij zurnal
К строению семейств иммунных, гипериммунных и гипергипериммунных можеств
Ан.А. Мальцев (1985)
Matematiceskij sbornik
К существованию конечных базисов в замкнутых классах булевых функций.
С.С. Марченков (1984)
Algebra i Logika
К теоремам о сохранении соотношений в K-пространствах
Е.И. Гордон (1982)
Sibirskij matematiceskij zurnal
К теореме Рабина о сложности вычислимых функций
С.Г. Матвеева (1965)
Sibirskij matematiceskij zurnal
К теории вычислимых семейств объектов
А.И. Мальцев, A.I. Mal'cev, A.I. Mal'cev, A.I. Maltsev, A.I. Malcev (1964)
Algebra i Logika