|
|
Uchenye Zapiski Kazanskogo Universiteta, 1968, Volume 128, Book 2, Pages 67–70
(Mi uzku82)
|
|
|
|
A certain algorithm for finding a full amplification of sequences in propositional calculus
N. K. Zamov, V. I. Sharonov
Citation:
N. K. Zamov, V. I. Sharonov, “A certain algorithm for finding a full amplification of sequences in propositional calculus”, Probabilistic methods and cybernetics. VI, Uchenye Zapiski Kazanskogo Universiteta, 128, no. 2, Kazan University, Kazan, 1968, 67–70
Linking options:
https://www.mathnet.ru/eng/uzku82 https://www.mathnet.ru/eng/uzku/v128/i2/p67
|
| Statistics & downloads: |
| Abstract page: | 397 | | Full-text PDF : | 181 | | References: | 3 |
|