Стратегия упорядочивания дизъюнктов в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Similarity:
Displaying similar documents to “Применение изограмм в поиске вывода”
Стратегия упорядочивания дизъюнктов в методе резолюций
Стратегия дефакторизации в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Similarity:
Система программирования контролирующих курсов
Н.К. Замов, Р.К. Самитов, П.В. Пшеничный ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
В.И. Шаронов (1988)
Issledovanija po prikladnoj matematike
Similarity:
Об одной модификации талтики с упорядочиванием в методе резолюций
Н.К. Замов (1988)
Issledovanija po prikladnoj matematike
Similarity:
О принципах построения учебного курса "макросредства языка Ассемблера ЕС ЭВМ" для автоматизированной обучающей системы
H.K. Замов, Н.И. Звягина, Р.К. Самитов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
О неизмеримых подпространствах
А.Н. Чупрунов (1988)
Issledovanija po prikladnoj matematike
Similarity:
Гарантийные процедуры статистического вывода (определение объема выборки)
И.Н. Володин (1984)
Issledovanija po prikladnoj matematike
Similarity:
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Н.К. Замов (1974)
Issledovanija po prikladnoj matematike
Similarity:
Дедуктивный подход к автоматизации технологического проектирования
П.В. Пшеничный ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Комбинационные схемы, построенные в одноэлементном базисе
Е.Л. Столов (1989)
Issledovanija po prikladnoj matematike
Similarity:
Цилиндрические вероятности, критерии счетной аддитивности и носители
Д.Х. Муштари (1988)
Issledovanija po prikladnoj matematike
Similarity:
Эквивалентные определения квазивыпуклости
Я.И. Заботин (1974)
Issledovanija po prikladnoj matematike
Similarity:
О регулировке заглубления в методе опорных векторов с составным шагом
А.Н. Куликов, В.Р. Фазылов (1992)
Issledovanija po prikladnoj matematike
Similarity:
Применение метода сопряженных субградиентов км минимизации квазивыпуклых функционалов
И.В. Коннов (1984)
Issledovanija po prikladnoj matematike
Similarity:
Повышение достоверности автоматизированного контроля параметров, изменяющихся во времени, усреднением результатов измерений
Г.М. Загрутдинов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Применение скользящего усреднения при автоматизированном контроле параметров, изменяющихся по синусоидальному закону
Г.М. Загрутдинов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Опорный конус для многогранника
В.Р. Фазылов (1989)
Issledovanija po prikladnoj matematike
Similarity:
Алгоритм численного расчета отрывного обтекания замкнутого контура с использованием сплайнов
Г.Р. Абдюшева, З.Г. Серазетдинов, Р.Р. Шагидуллин (1989)
Issledovanija po prikladnoj matematike
Similarity:
О проверочной матрице циклического кода, порожденного кратными корнями
Р.Х. Латыпов (1988)
Issledovanija po prikladnoj matematike
Similarity:
Применение методов двойственности к исследованию стационарных задач фильтрации с разрывным законом
И.Б. Бадриев (1985)
Issledovanija po prikladnoj matematike
Similarity:
Основные параметры банка данных системы ДЕЛЬТА-Y
Ш.Р. Нурутдинов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Применение метода последовательной релаксации к решению экстремальных задач с полугладкими функциями
И.В. Коннов (1988)
Issledovanija po prikladnoj matematike
Similarity:
О минимизации стоимости использования памяти с прямым доступом
Р.Н. Абайдуллин ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Распространение возбуждения в плоской нервной сети
Р.Н. Мифтахов (1992)
Issledovanija po prikladnoj matematike
Similarity:
О релаксационных методах минимизации псевдовыпуклых функций
А.И. Кораблев (1989)
Issledovanija po prikladnoj matematike
Similarity:
О применении метода деформируемого многогранника к решению задач математического программирования
А.И. Вафина, В.Р. Фазылов (1992)
Issledovanija po prikladnoj matematike
Similarity:
О численном решении нестационарной задачи совместного движения грунтовых и поверхностных вод
Л.Л. Глазырина, М.Ф. Павлова (1989)
Issledovanija po prikladnoj matematike
Similarity:
Исследование задачи дробно-линейного программирования в особых случаях
Н.Т. Халитов (1973)
Issledovanija po prikladnoj matematike
Similarity: