RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1969
Volume 16,
Pages
126–136
(Mi znsl2344)
Deduction search tactics based on a specialization of the order of members in favourable sets
S. Yu. Maslov
Fulltext:
PDF file (646 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024