Стратегия упорядочивания дизъюнктов в методе резолюций
В.И. Шаронов (1974)
Issledovanija po prikladnoj matematike
Similarity:
Displaying similar documents to “Стратегия дефакторизации в методе резолюций”
Стратегия упорядочивания дизъюнктов в методе резолюций
Применение изограмм в поиске вывода
Н.К. Замов, В.И. Шаронов (1973)
Issledovanija po prikladnoj matematike
Similarity:
Эквивалентные определения квазивыпуклости
Я.И. Заботин (1974)
Issledovanija po prikladnoj matematike
Similarity:
Об одной модификации талтики с упорядочиванием в методе резолюций
Н.К. Замов (1988)
Issledovanija po prikladnoj matematike
Similarity:
О регулировке заглубления в методе опорных векторов с составным шагом
А.Н. Куликов, В.Р. Фазылов (1992)
Issledovanija po prikladnoj matematike
Similarity:
Polygonal Roulettes.
D.W. DeTemple, D.J. Baxter (1977)
Elemente der Mathematik
Similarity:
О неизмеримых подпространствах
А.Н. Чупрунов (1988)
Issledovanija po prikladnoj matematike
Similarity:
Система программирования контролирующих курсов
Н.К. Замов, Р.К. Самитов, П.В. Пшеничный ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
В.И. Шаронов (1988)
Issledovanija po prikladnoj matematike
Similarity:
Комбинационные схемы, построенные в одноэлементном базисе
Е.Л. Столов (1989)
Issledovanija po prikladnoj matematike
Similarity:
Гарантийные процедуры статистического вывода (определение объема выборки)
И.Н. Володин (1984)
Issledovanija po prikladnoj matematike
Similarity:
Опорный конус для многогранника
В.Р. Фазылов (1989)
Issledovanija po prikladnoj matematike
Similarity:
Дедуктивный подход к автоматизации технологического проектирования
П.В. Пшеничный ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Алгоритм численного расчета отрывного обтекания замкнутого контура с использованием сплайнов
Г.Р. Абдюшева, З.Г. Серазетдинов, Р.Р. Шагидуллин (1989)
Issledovanija po prikladnoj matematike
Similarity:
Цилиндрические вероятности, критерии счетной аддитивности и носители
Д.Х. Муштари (1988)
Issledovanija po prikladnoj matematike
Similarity:
Об одном методе вычисления функции давления и насыщенности с ичетом капиллярных сил
Ю.И. Кожеватов (1975)
Issledovanija po prikladnoj matematike
Similarity:
О релаксационных методах минимизации псевдовыпуклых функций
А.И. Кораблев (1989)
Issledovanija po prikladnoj matematike
Similarity:
Повышение достоверности автоматизированного контроля параметров, изменяющихся во времени, усреднением результатов измерений
Г.М. Загрутдинов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
О принципах построения учебного курса "макросредства языка Ассемблера ЕС ЭВМ" для автоматизированной обучающей системы
H.K. Замов, Н.И. Звягина, Р.К. Самитов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Комбинирование методов обобщенного спуска и феэровских приближений в одном вычислительном процессе
Р.Ф. Хабибуллин (1984)
Issledovanija po prikladnoj matematike
Similarity:
Распространение возбуждения в плоской нервной сети
Р.Н. Мифтахов (1992)
Issledovanija po prikladnoj matematike
Similarity:
О проверочной матрице циклического кода, порожденного кратными корнями
Р.Х. Латыпов (1988)
Issledovanija po prikladnoj matematike
Similarity:
Основные параметры банка данных системы ДЕЛЬТА-Y
Ш.Р. Нурутдинов ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
Об одном нерелаксационном процессе в методах возможных направлений
E.B. Лямин (1989)
Issledovanija po prikladnoj matematike
Similarity:
О численном решении нестационарной задачи совместного движения грунтовых и поверхностных вод
Л.Л. Глазырина, М.Ф. Павлова (1989)
Issledovanija po prikladnoj matematike
Similarity:
О минимизации стоимости использования памяти с прямым доступом
Р.Н. Абайдуллин ([unknown])
Issledovanija po prikladnoj matematike
Similarity:
О медодах безусловной минимизации функции, использующих симплекс
И.Я. Заботин (1979)
Issledovanija po prikladnoj matematike
Similarity:
О разрешимости задачи о геометрически-нелинейном изгибе незамкнутой сферической оболочки
С.Н. Волошановская, М.М. Карчевский (1988)
Issledovanija po prikladnoj matematike
Similarity:
Об одном подходе к построению алгоритмов условной минимизации
О.А. Кашина (1992)
Issledovanija po prikladnoj matematike
Similarity:
On primitive roots.
A. Ecker (1982)
Elemente der Mathematik
Similarity:
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Н.К. Замов (1974)
Issledovanija po prikladnoj matematike
Similarity: