Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
A.A. Бабаев, С.В. Соловьев (1979)
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.
The search session has expired. Please query the service again.
Displaying similar documents to “Решение уравнений эллиптического и параболического типа для малых областей”
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
Рост длины секвенциального вывода при перестройке в натуральный
С.В. Соловьев (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях
С.В. Соловьев (1987)
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:
Формальные трансляции
В.Д. Соловьев (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:
О распространении монотонной нормы с нормированной структуры на её пополнение по Дедекинду
В.А. Соловьев (1966)
Sibirskij matematiceskij zurnal
Similarity:
Скалярные кривизны 1-го и 2-го родов левоинвариантной римановой метрики и универсальная накрывающая
А.Ф. Соловьeв (1998)
Sibirskij matematiceskij zurnal
Similarity: