RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Zamov, Nail' Kalimovich

Statistics Math-Net.Ru
Total publications: 15
Scientific articles: 14

Number of views:
This page:1040
Abstract pages:1907
Full texts:754
Zamov, Nail' Kalimovich
Professor
Doctor of physico-mathematical sciences
Speciality: 05.13.16 (Computer techniques, mathematical modelling, and mathematical methods with an application to scientific researches)
E-mail:
Website: http://www.ksu.ru/persons/0002.ru.html

http://www.mathnet.ru/eng/person32811
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/247718

Publications in Math-Net.Ru
1989
1. N. K. Zamov, “Modal resolutions”, Izv. Vyssh. Uchebn. Zaved. Mat., 1989, 9,  22–29  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath
1984
3. N. K. Zamov, R. K. Samitov, P. V. Pshenichnyi, “A programming system for monitoring courses”, Issled. Prikl. Mat., 12 (1984),  3–10  mathnet; 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  mathnet; J. Soviet Math., 46:6 (1989), 2243–2247
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  mathnet  mathscinet; 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  mathnet  mathscinet; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath
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  mathnet  mathscinet  zmath
12. N. K. Zamov, V. I. Sharonov, “On a class of strategies for the resolution method”, Zap. Nauchn. Sem. LOMI, 16 (1969),  54–64  mathnet  mathscinet  zmath
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  mathnet  mathscinet  zmath
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  mathnet  mathscinet  zmath

1996
15. Ya. I. Zabotin, N. K. Zamov, L. A. Aksent'ev, T. N. Zemtseva, “Albert Valentinovich Sul'din (obituary)”, Izv. Vyssh. Uchebn. Zaved. Mat., 1996, 2,  84  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020