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