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