 |
| |
Zamov Nail' Kalimovich
|
| Statistics Math-Net.Ru |
| Total publications: |
12 |
| Scientific articles: |
11 |
| Number of views: |
| This page: | 227 | | Abstract pages: | 585 | | Full texts: | 214 |
|
| Scientific status: |
Professor |
| Scientific degree: |
Doctor of physico-mathematical sciences |
| Speciality: |
05.13.16 (Computer techniques, mathematical modelling, and mathematical methods with an application to scientific researches) |
| Phone: |
+7 (843) 292 78 57, +7 (843) 231 54 07 |
| Fax: |
+7 (843) 292 44 48 |
| E-mail: |
|
| Website: |
http://www.ksu.ru/persons/0002.ru.html |
|
 |
List of publications on Google Scholar |
 |
List of publications on ZentralBlatt |
 |
Personal webpage on MathSciNet |
|
| Publications in Math-Net.Ru |
| 1. |
A programming system for monitoring courses
N. K. Zamov, R. K. Samitov, P. V. Pshenichnyi
Issled. Prikl. Mat., 1984, 12, 3–10 |
| 2. |
“Assembler Language Macro Tools for the ES Computer”: Course design for a computer-aided instruction system
N. K. Zamov, N. I. Zvyagina, R. K. Samitov
Issled. Prikl. Mat., 1981, 9, 106–111 |
| 3. |
Author access to the computer-aided instruction system GAMMA
N. K. Zamov, V. F. Ziskin, P. V. Pshenichnyi
Issled. Prikl. Mat., 1980, 8, 99–104 |
| 4. |
Design principles of the computer-aided instruction system GAMMA
N. K. Zamov, N. I. Zvyagina, R. K. Samitov
Issled. Prikl. Mat., 1980, 8, 85–88 |
| 5. |
Decision tactics for derivation search in the resolution method
N. K. Zamov, V. I. Sharonov
Issled. Prikl. Mat., 1977, 4, 31–34 |
| 6. |
Application of isograms in the search for inference
N. K. Zamov, V. I. Sharonov
Issled. Prikl. Mat., 1973, 1, 94–102 |
| 7. |
Amplifications of formulae of predicate calculus
N. K. Zamov, V. I. Sharonov
Kazan. Gos. Univ. Uchen. Zap., 1970, 130:3, 54–59 |
| 8. |
The strengthening of formulae that are provable in propositional calculus
N. K. Zamov, V. I. Sharonov
Kazan. Gos. Univ. Uchen. Zap., 1969, 129:4, 21–31 |
| 9. |
On a class of strategies for the resolution method
N. K. Zamov, V. I. Sharonov
Zap. Nauchn. Sem. LOMI, 1969, 16, 54–64 |
| 10. |
A certain algorithm of search for an inference in a cellular calculus
N. K. Zamov, V. I. Sharonov
Kazan. Gos. Univ. Uchen. Zap., 1968, 128:2, 71–75 |
| 11. |
A certain algorithm for finding a full amplification of sequences in propositional calculus
N. K. Zamov, V. I. Sharonov
Kazan. Gos. Univ. Uchen. Zap., 1968, 128:2, 67–70 |
|
| 12. |
Albert Valentinovich Sul'din (obituary)
Ya. I. Zaborin, N. K. Zamov, L. A. Aksent'ev, T. N. Zemtseva
Izv. Vyssh. Uchebn. Zaved. Mat., 1996:2, 84 |
|
|
| Organisations |
|
| |
|
|
Terms of Use