Рост длины секвенциального вывода при перестройке в натуральный
С.В. Соловьев (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Схемы программ и эффективные функционалы конечных типов”
Рост длины секвенциального вывода при перестройке в натуральный
О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях
С.В. Соловьев (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
A.A. Бабаев, С.В. Соловьев (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Сохранение эквивалентности выводов при редукции глубины формул
С.В. Соловьев (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Программный комплекс поддержки технологии программирования "снизу-вверх"
А.И. Васильев, В.Д. Соловьев ([unknown])
Verojatnostnye metody i kibernetika
Similarity:
Вопросы реализации логического вывода в системах альтернатив
С.Ю. Соловьев ([unknown])
Matematiceskie issledovanija
Similarity:
Формальные трансляции
В.Д. Соловьев (1982)
Verojatnostnye metody i kibernetika
Similarity:
Диэдральные гомологии и когомологии. Основные понятия и конструкции
Р.Л. Красаускас, С.В. Лапин, Ю.П. Соловьев (1987)
Matematiceskij sbornik
Similarity:
О критерии выпуклости положительно однородной функции
В.Н. Солoвьев (1982)
Matematiceskij sbornik
Similarity:
Решение уравнений эллиптического и параболического типа для малых областей
П.В. Соловьев ([unknown])
Matematiceskij sbornik
Similarity:
Искуственный интеллект и теория Пиажэ
В.Д. Соловьев ([unknown])
Verojatnostnye metody i kibernetika
Similarity:
Римановы слоения с постоянной трансверсальной кривизной.
А.Ф. Соловьев (1987)
Sibirskij matematiceskij zurnal
Similarity:
О распространении монотонной нормы с нормированной структуры на её пополнение по Дедекинду
В.А. Соловьев (1966)
Sibirskij matematiceskij zurnal
Similarity:
Задачи редукции в экспериментальных исследованиях
Ю.П. Пытьев (1984)
Matematiceskij sbornik
Similarity: