Замов Наиль Калимович

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

1. Модальные резолюции
   
   Изв. вузов. Матем., 1989, № 9,  22–29
2. Метод резолюций без скулемизации
   
   Докл. АН СССР, 293:5 (1987),  1046–1049
3. Система программирования контролирующих курсов
   
   Исслед. по прикл. матем., 12 (1984),  3–10
4. О принципах построения учебного курса «Макросредства языка Ассемблера ЕС ЭВМ» для автоматизированной обучающей системы
   
   Исслед. по прикл. матем., 9 (1981),  106–111
5. Обеспечение работы автора в автоматизированной обучающей системе Гамма
   
   Исслед. по прикл. матем., 8 (1980),  99–104
6. Принципы построения автоматизированной обучающей системы Гамма
   
   Исслед. по прикл. матем., 8 (1980),  85–88
7. Разрешающие тактики поиска вывода в методе резолюций
   
   Исслед. по прикл. матем., 4 (1977),  31–34
8. Применение изо грамм в поиске вывода
   
   Исслед. по прикл. матем., 1 (1973),  94–102
9. Об ограничении сложности термов в методе резолюций
   
   Тр. МИАН СССР, 121 (1972),  5–13
10. Об усилениях формул исчисления предикатов
    
    Учен. зап. Казан. ун-та., 130:3 (1970),  54–59
11. Об усилениях формул, доказуемых в исчислении высказываний
    
    Учен. зап. Казан. ун-та., 129:4 (1969),  21–31
12. Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
    
    Зап. научн. сем. ЛОМИ, 16 (1969),  54–64
13. Один алгоритм поиска вывода в клеточном исчислении
    
    Учен. зап. Казан. ун-та., 128:2 (1968),  71–75
14. Один алгоритм нахождения полного усиления секвенций в исчислении высказываний
    
    Учен. зап. Казан. ун-та., 128:2 (1968),  67–70


15. Некролог. Леонид Александрович Аксентьев
    
    Изв. вузов. Матем., 2021, № 3,  98–100
16. Альберт Валентинович Сульдин (некролог)
    
    Изв. вузов. Матем., 1996, № 2,  84