Основные задачи выразимости формул в неклассических логиках
М.Ф. Раца (1987)
Matematiceskie issledovanija
Similarity:
Displaying similar documents to “О полноте систем формул в двойственностно цепных логиках”
Основные задачи выразимости формул в неклассических логиках
Аксиоматика полудинамических систем
К.С. Сибирский, А.С. Шубэ (1984)
Matematiceskie issledovanija
Similarity:
О функциональной полноте в некоторых логиках, промежуточных между классической и интуиционистской
М.Ф. Раца (1970)
Matematiceskie issledovanija
Similarity:
Два примера полудинамических систем
А.С. Шубэ (1984)
Matematiceskie issledovanija
Similarity:
О полноте и минимальности некоторых систем функций
А.Г. Тумаркин (1983)
Sibirskij matematiceskij zurnal
Similarity:
Оптимизация распределенных систем в лебеговом пространстве.
В.И. Плотников, В.И. Сумин (1981)
Sibirskij matematiceskij zurnal
Similarity:
Формулы для оценки времени безотказной работы восстанавливаемых полумарковских систем
А.Н. Корлат, А.Ф. Турбин, Г.Ж. Цатурян (1986)
Matematiceskie issledovanija
Similarity:
Принципы нормализации формул
Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
Расщепления вдоль систем подмногообразий
А.Ф. Харшиладзе (1984)
Matematiceskij sbornik
Similarity:
ОБСЭС- инструментальное средство для построения экспертных систем
В.П. Бурдаев ([unknown])
Matematiceskie issledovanija
Similarity:
О полноте свободного топологического модуля, порожденного дискретным пространством
Р.К. Калистру (1979)
Matematiceskie issledovanija
Similarity:
О псевдоавтоморфизмах ортогональных систем луп
И.В. Лях (1987)
Matematiceskie issledovanija
Similarity:
Об условиях равновесия неголономных систем
И.Ю. Рачек, В.Л. Пинский (1981)
Matematiceskie issledovanija
Similarity:
Анализ надежности систем с параллельно-последовательно-параллельной структурой и временной избыточностью
А.Н. Корлат (1989)
Matematiceskie issledovanija
Similarity:
Полнота систем команд в машинах с конечным множеством состояний памяти
Ю.В. Голунков, Е.А. Князев (1979)
Verojatnostnye metody i kibernetika
Similarity: