Стрыгин, Владимир Захарович
Показать все ссылки каталога
Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation
2005
1747
0
0
Эмпирические распределения простых чисел Жермен, вида n +1 и из отрезка (n ,(n+1) ) в натуральном ряде
2005
2338
0
0
Подобие и погрешность в многомодельном эксперименте, (или О числе каналов нагружения крыла самолета при ресурсных испытаниях)
2008
1039
0
0
Закон третьего и линейный алгоритм выявления общезначимости (выполнимости) булевых формул
1995
1350
0
0
Полиноминальный алгоритм синтеза минимальных схем из функциональных элементов И-НЕ (функций Шеффера)
1993
2830
0
0