|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1989 |
| 1. |
Н. К. Замов, “Модальные резолюции”, Изв. вузов. Матем., 1989, № 9, 22–29    ; N. K. Zamov, “Modal resolutions”, Soviet Math. (Iz. VUZ), 33:9 (1989), 23–29 |
|
1987 |
| 2. |
Н. К. Замов, “Метод резолюций без скулемизации”, Докл. АН СССР, 293:5 (1987), 1046–1049 |
|
1984 |
| 3. |
Н. К. Замов, Р. К. Самитов, П. В. Пшеничный, “Система программирования контролирующих курсов”, Исслед. по прикл. матем., 12 (1984), 3–10 ; N. K. Zamov, R. K. Samitov, P. V. Pshenichnyi, “A programming system for monitoring courses”, J. Soviet Math., 45:2 (1989), 991–996 |
|
1981 |
| 4. |
Н. К. Замов, Н. И. Звягина, Р. К. Самитов, “О принципах построения учебного курса «Макросредства языка Ассемблера ЕС ЭВМ» для автоматизированной обучающей системы”, Исслед. по прикл. матем., 9 (1981), 106–111 ; N. K. Zamov, N. I. Zvyagina, R. K. Samitov, ““Assembler Language Macro Tools for the ES Computer”: Course design for a computer-aided instruction system”, J. Soviet Math., 46:6 (1989), 2243–2247 |
1
|
|
1980 |
| 5. |
Н. К. Замов, В. Ф. Зискин, П. В. Пшеничный, “Обеспечение
работы автора в автоматизированной обучающей системе Гамма”, Исслед. по прикл. матем., 8 (1980), 99–104 ; N. K. Zamov, V. F. Ziskin, P. V. Pshenichnyi, “Author access to the computer-aided instruction system GAMMA”, J. Soviet Math., 44:1 (1989), 68–72 |
| 6. |
Н. К. Замов, Н. И. Звягина, Р. К. Самитов, “Принципы построения
автоматизированной обучающей системы Гамма”, Исслед. по прикл. матем., 8 (1980), 85–88 ; N. K. Zamov, N. I. Zvyagina, R. K. Samitov, “Design principles of the computer-aided instruction system GAMMA”, J. Soviet Math., 44:1 (1989), 57–60 |
|
1977 |
| 7. |
Н. К. Замов, В. И. Шаронов, “Разрешающие тактики поиска
вывода в методе резолюций”, Исслед. по прикл. матем., 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 |
| 8. |
Н. К. Замов, В. И. Шаронов, “Применение изо грамм в поиске
вывода”, Исслед. по прикл. матем., 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 |
|
1972 |
| 9. |
Н. К. Замов, “Об ограничении сложности термов в методе резолюций”, Тр. МИАН СССР, 121 (1972), 5–13 ; N. K. Zamov, “The restriction of the complexity of terms in the resolution method”, Proc. Steklov Inst. Math., 121 (1972), 1–10 |
|
1970 |
| 10. |
Н. К. Замов, В. И. Шаронов, “Об усилениях формул исчисления предикатов”, Учен. зап. Казан. ун-та., 130:3 (1970), 54–59 |
|
1969 |
| 11. |
Н. К. Замов, В. И. Шаронов, “Об усилениях формул, доказуемых в исчислении высказываний”, Учен. зап. Казан. ун-та., 129:4 (1969), 21–31 |
| 12. |
Н. К. Замов, В. И. Шаронов, “Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций”, Зап. научн. сем. ЛОМИ, 16 (1969), 54–64 |
|
1968 |
| 13. |
Н. К. Замов, В. И. Шаронов, “Один алгоритм поиска вывода в клеточном исчислении”, Учен. зап. Казан. ун-та., 128:2 (1968), 71–75 |
| 14. |
Н. К. Замов, В. И. Шаронов, “Один алгоритм нахождения полного усиления секвенций в исчислении высказываний”, Учен. зап. Казан. ун-та., 128:2 (1968), 67–70 |
|
|
|
2021 |
| 15. |
Н. Р. Абубакиров, Ф. Г. Авхадиев, А. В. Аминова, М. М. Арсланов, А. М. Бикчентаев, В. В. Васин, Ф. Н. Гарифьянов, А. М. Денисов, А. М. Елизаров, Н. К. Замов, Б. А. Кац, О. А. Кашина, Д. В. Маклаков, В. П. Максимов, С. Р. Насыров, Н. И. Попов, Л. Г. Салехов, Р. Б. Салимов, С. Г. Самко, Н. Темиргалиев, Е. А. Турилова, Ю. Е. Хохлов, П. Л. Шабалин, Л. Н. Шеврин, А. Н. Шерстнев, Е. А. Широкова, В. В. Шурыгин, “Некролог. Леонид Александрович Аксентьев”, Изв. вузов. Матем., 2021, № 3, 98–100 |
|
1996 |
| 16. |
Я. И. Заботин, Н. К. Замов, Л. А. Аксентьев, Т. Н. Земцева, “Альберт Валентинович Сульдин (некролог)”, Изв. вузов. Матем., 1996, № 2, 84 |
|
Обратная связь: