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