Шаронов Владислав Иванович

Публикации в базе данных Math-Net.Ru

1. Разрешающие тактики поиска вывода в методе резолюций
   
   Исслед. по прикл. матем., 4 (1977),  31–34
2. Применение изо грамм в поиске вывода
   
   Исслед. по прикл. матем., 1 (1973),  94–102
3. Об усилениях формул исчисления предикатов
   
   Учен. зап. Казан. ун-та., 130:3 (1970),  54–59
4. Об усилениях формул, доказуемых в исчислении высказываний
   
   Учен. зап. Казан. ун-та., 129:4 (1969),  21–31
5. Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
   
   Зап. научн. сем. ЛОМИ, 16 (1969),  54–64
6. Один алгоритм поиска вывода в клеточном исчислении
   
   Учен. зап. Казан. ун-та., 128:2 (1968),  71–75
7. Один алгоритм нахождения полного усиления секвенций в исчислении высказываний
   
   Учен. зап. Казан. ун-та., 128:2 (1968),  67–70
8. Гармонизация восьмитактных песенных мелодий на ЭВМ М-20
   
   Учен. зап. Казан. ун-та., 123:6 (1963),  103–111