|
|
Publications in Math-Net.Ru |
Citations |
|
1989 |
1. |
N. K. Zamov, “Modal resolutions”, Izv. Vyssh. Uchebn. Zaved. Mat., 1989, no. 9, 22–29 ; Soviet Math. (Iz. VUZ), 33:9 (1989), 23–29 |
|
1987 |
2. |
N. K. Zamov, “The resolution method without Skolemization”, Dokl. Akad. Nauk SSSR, 293:5 (1987), 1046–1049 |
|
1984 |
3. |
N. K. Zamov, R. K. Samitov, P. V. Pshenichnyi, “A programming system for monitoring courses”, Issled. Prikl. Mat., 12 (1984), 3–10 ; J. Soviet Math., 45:2 (1989), 991–996 |
|
1981 |
4. |
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”, Issled. Prikl. Mat., 9 (1981), 106–111 ; J. Soviet Math., 46:6 (1989), 2243–2247 |
1
|
|
1980 |
5. |
N. K. Zamov, V. F. Ziskin, P. V. Pshenichnyi, “Author access to the computer-aided instruction system GAMMA”, Issled. Prikl. Mat., 8 (1980), 99–104 ; J. Soviet Math., 44:1 (1989), 68–72 |
6. |
N. K. Zamov, N. I. Zvyagina, R. K. Samitov, “Design principles of the computer-aided instruction system GAMMA”, Issled. Prikl. Mat., 8 (1980), 85–88 ; J. Soviet Math., 44:1 (1989), 57–60 |
|
1977 |
7. |
N. K. Zamov, V. I. Sharonov, “Decision tactics for derivation search in the resolution method”, Issled. Prikl. Mat., 4 (1977), 31–34 ; J. Soviet Math., 39:5 (1987), 2969–2971 |
|
1973 |
8. |
N. K. Zamov, V. I. Sharonov, “Application of isograms in the search for inference”, Issled. Prikl. Mat., 1 (1973), 94–102 ; J. Soviet Math., 40:6 (1988), 765–772 |
|
1972 |
9. |
N. K. Zamov, “The restriction of the complexity of terms in the resolution method”, Trudy Mat. Inst. Steklov., 121 (1972), 5–13 ; Proc. Steklov Inst. Math., 121 (1972), 1–10 |
|
1970 |
10. |
N. K. Zamov, V. I. Sharonov, “Amplifications of formulae of predicate calculus”, Uchenye Zapiski Kazanskogo Universiteta, 130:3 (1970), 54–59 |
|
1969 |
11. |
N. K. Zamov, V. I. Sharonov, “The strengthening of formulae that are provable in propositional calculus”, Uchenye Zapiski Kazanskogo Universiteta, 129:4 (1969), 21–31 |
12. |
N. K. Zamov, V. I. Sharonov, “On a class of strategies for the resolution method”, Zap. Nauchn. Sem. LOMI, 16 (1969), 54–64 |
|
1968 |
13. |
N. K. Zamov, V. I. Sharonov, “A certain algorithm of search for an inference in a cellular calculus”, Uchenye Zapiski Kazanskogo Universiteta, 128:2 (1968), 71–75 |
14. |
N. K. Zamov, V. I. Sharonov, “A certain algorithm for finding a full amplification of sequences in propositional calculus”, Uchenye Zapiski Kazanskogo Universiteta, 128:2 (1968), 67–70 |
|
|
|
2021 |
15. |
N. R. Abubakirov, F. G. Avkhadiev, A. V. Aminova, M. M. Arslanov, A. M. Bikchentaev, V. V. Vasin, F. N. Garif'yanov, A. M. Denisov, A. M. Elizarov, N. K. Zamov, B. A. Kats, O. A. Kashina, D. V. Maklakov, V. P. Maksimov, S. R. Nasyrov, N. I. Popov, L. G. Salekhov, R. B. Salimov, S. G. Samko, N. Temirgaliev, E. A. Turilova, Yu. E. Hohlov, P. L. Shabalin, L. N. Shevrin, A. N. Sherstnev, E. A. Shirokova, V. V. Shurygin, “Leonid Aleksandrovich Aksent'ev”, Izv. Vyssh. Uchebn. Zaved. Mat., 2021, no. 3, 98–100 |
|
1996 |
16. |
Ya. I. Zabotin, N. K. Zamov, L. A. Aksent'ev, T. N. Zemtseva, “Albert Valentinovich Sul'din (obituary)”, Izv. Vyssh. Uchebn. Zaved. Mat., 1996, no. 2, 84 |
|
Organisations |
|
|
|
|