|
|
|
Publications in Math-Net.Ru |
Citations |
|
1977 |
| 1. |
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 |
| 2. |
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 |
|
1970 |
| 3. |
N. K. Zamov, V. I. Sharonov, “Amplifications of formulae of predicate calculus”, Uchenye Zapiski Kazanskogo Universiteta, 130:3 (1970), 54–59 |
|
1969 |
| 4. |
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 |
| 5. |
N. K. Zamov, V. I. Sharonov, “On a class of strategies for the resolution method”, Zap. Nauchn. Sem. LOMI, 16 (1969), 54–64 |
|
1968 |
| 6. |
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 |
| 7. |
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 |
|
1963 |
| 8. |
M. S. Rytvinskaya, V. I. Sharonov, “Harmonisation of eight bars of song melodies on computers M-20”, Uchenye Zapiski Kazanskogo Universiteta, 123:6 (1963), 103–111 |
| |
|
|
Contact us: