RUS
ENG
Full version
JOURNALS
// Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
// Archive
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
Fulltext:
PDF file (500 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (500 kB)