|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1977 |
| 1. |
Н. К. Замов, В. И. Шаронов, “Разрешающие тактики поиска
вывода в методе резолюций”, Исслед. по прикл. матем., 4 (1977), 31–34    ; 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 ; 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 |
|
1969 |
| 4. |
Н. К. Замов, В. И. Шаронов, “Об усилениях формул, доказуемых в исчислении высказываний”, Учен. зап. Казан. ун-та., 129:4 (1969), 21–31 |
| 5. |
Н. К. Замов, В. И. Шаронов, “Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций”, Зап. научн. сем. ЛОМИ, 16 (1969), 54–64 |
|
1968 |
| 6. |
Н. К. Замов, В. И. Шаронов, “Один алгоритм поиска вывода в клеточном исчислении”, Учен. зап. Казан. ун-та., 128:2 (1968), 71–75 |
| 7. |
Н. К. Замов, В. И. Шаронов, “Один алгоритм нахождения полного усиления секвенций в исчислении высказываний”, Учен. зап. Казан. ун-та., 128:2 (1968), 67–70 |
|
1963 |
| 8. |
М. С. Рытвинская, В. И. Шаронов, “Гармонизация восьмитактных песенных мелодий на ЭВМ М-20”, Учен. зап. Казан. ун-та., 123:6 (1963), 103–111 |
|
Обратная связь: