Zamov Nail' Kalimovich

Publications in Math-Net.Ru

1. Modal resolutions
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1989, no. 9,  22–29
2. The resolution method without Skolemization
   
   Dokl. Akad. Nauk SSSR, 293:5 (1987),  1046–1049
3. A programming system for monitoring courses
   
   Issled. Prikl. Mat., 12 (1984),  3–10
4. “Assembler Language Macro Tools for the ES Computer”: Course design for a computer-aided instruction system
   
   Issled. Prikl. Mat., 9 (1981),  106–111
5. Author access to the computer-aided instruction system GAMMA
   
   Issled. Prikl. Mat., 8 (1980),  99–104
6. Design principles of the computer-aided instruction system GAMMA
   
   Issled. Prikl. Mat., 8 (1980),  85–88
7. Decision tactics for derivation search in the resolution method
   
   Issled. Prikl. Mat., 4 (1977),  31–34
8. Application of isograms in the search for inference
   
   Issled. Prikl. Mat., 1 (1973),  94–102
9. The restriction of the complexity of terms in the resolution method
   
   Trudy Mat. Inst. Steklov., 121 (1972),  5–13
10. Amplifications of formulae of predicate calculus
    
    Uchenye Zapiski Kazanskogo Universiteta, 130:3 (1970),  54–59
11. The strengthening of formulae that are provable in propositional calculus
    
    Uchenye Zapiski Kazanskogo Universiteta, 129:4 (1969),  21–31
12. On a class of strategies for the resolution method
    
    Zap. Nauchn. Sem. LOMI, 16 (1969),  54–64
13. A certain algorithm of search for an inference in a cellular calculus
    
    Uchenye Zapiski Kazanskogo Universiteta, 128:2 (1968),  71–75
14. A certain algorithm for finding a full amplification of sequences in propositional calculus
    
    Uchenye Zapiski Kazanskogo Universiteta, 128:2 (1968),  67–70


15. Leonid Aleksandrovich Aksent'ev
    
    Izv. Vyssh. Uchebn. Zaved. Mat., 2021, no. 3,  98–100
16. Albert Valentinovich Sul'din (obituary)
    
    Izv. Vyssh. Uchebn. Zaved. Mat., 1996, no. 2,  84