Рост длины секвенциального вывода при перестройке в натуральный
С.В. Соловьев (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.
Displaying similar documents to “Сохранение эквивалентности выводов при редукции глубины формул”
Рост длины секвенциального вывода при перестройке в натуральный
О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях
С.В. Соловьев (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
A.A. Бабаев, С.В. Соловьев (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:
Решение уравнений эллиптического и параболического типа для малых областей
П.В. Соловьев ([unknown])
Matematiceskij sbornik
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: