О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Сепарационное свойство для доказуемостно-интуиционистского исчисления”
О свойствах суперинтуиционистских пропозициональных исчислений.
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Д.Е. Тишковский (2001)
Algebra i Logika
Similarity:
Промежуточные прострастваи бистохастические проекторы
А.А. Меклер (1975)
Matematiceskie issledovanija
Similarity:
О моделях исчисления E
Л.Л. Максимова (1967)
Algebra i Logika
Similarity:
О финитной аппроксимируемости суперинтуиционистких логик
В.Я. Герчиу (1972)
Matematiceskie issledovanija
Similarity:
О свойстве обратимости n-арных групп
Л.А. Урсу (1985)
Matematiceskie issledovanija
Similarity:
Существование абсолютного минимума кратных интегралов вариационного исчисления в непараметрической форме
Г.И. Шилова (1960)
Matematiceskij sbornik
Similarity:
Рандомизированные стратегии в управляемых марковских последовательностях
A.E. Барбарошие (1986)
Matematiceskie issledovanija
Similarity:
Итерированные операции и R- операция
И.И. Паровиченко (1977)
Matematiceskie issledovanija
Similarity:
Обслуживание с ориентацией в режиме "Жди наивероятного"
Г.К. Мишкой (1986)
Matematiceskie issledovanija
Similarity:
Тепловыделение в слоистом вязкоупругом полупространстве
O.E. Булгару (1985)
Matematiceskie issledovanija
Similarity:
О плоских бихроматических гиперграфах
С.Г. Инджеян (1982)
Matematiceskie issledovanija
Similarity:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Система для извлечения логических зависимостей
A.M. Зинченко ([unknown])
Matematiceskie issledovanija
Similarity: