RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Шаронов Владислав Иванович

В базах данных Math-Net.Ru
Публикаций: 8
Научных статей: 8

Статистика просмотров:
Эта страница:92
Страницы публикаций:1142
Полные тексты:429

http://www.mathnet.ru/rus/person36046
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/548742

Публикации в базе данных Math-Net.Ru
1977
1. Н. К. Замов, В. И. Шаронов, “Разрешающие тактики поиска вывода в методе резолюций”, Исслед. по прикл. матем., 4 (1977),  31–34  mathnet  mathscinet  zmath; N. K. Zamov, V. I. Sharonov, “Decision tactics for derivation search in the resolution method”, J. Soviet Math., 39:5 (1987), 2969–2971
1973
2. Н. К. Замов, В. И. Шаронов, “Применение изо грамм в поиске вывода”, Исслед. по прикл. матем., 1 (1973),  94–102  mathnet  mathscinet  zmath; N. K. Zamov, V. I. Sharonov, “Application of isograms in the search for inference”, J. Soviet Math., 40:6 (1988), 765–772
1970
3. Н. К. Замов, В. И. Шаронов, “Об усилениях формул исчисления предикатов”, Учен. зап. Казан. ун-та., 130:3 (1970),  54–59  mathnet  mathscinet  zmath
1969
4. Н. К. Замов, В. И. Шаронов, “Об усилениях формул, доказуемых в исчислении высказываний”, Учен. зап. Казан. ун-та., 129:4 (1969),  21–31  mathnet  mathscinet  zmath
5. Н. К. Замов, В. И. Шаронов, “Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций”, Зап. научн. сем. ЛОМИ, 16 (1969),  54–64  mathnet  mathscinet  zmath
1968
6. Н. К. Замов, В. И. Шаронов, “Один алгоритм поиска вывода в клеточном исчислении”, Учен. зап. Казан. ун-та., 128:2 (1968),  71–75  mathnet  mathscinet  zmath
7. Н. К. Замов, В. И. Шаронов, “Один алгоритм нахождения полного усиления секвенций в исчислении высказываний”, Учен. зап. Казан. ун-та., 128:2 (1968),  67–70  mathnet  mathscinet  zmath
1963
8. М. С. Рытвинская, В. И. Шаронов, “Гармонизация восьмитактных песенных мелодий на ЭВМ М-20”, Учен. зап. Казан. ун-та., 123:6 (1963),  103–111  mathnet  mathscinet
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020