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