RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1975
Volume 49,
Pages
123–130
(Mi znsl2795)
This article is cited in
1
paper
Finite approach to the problem of optimization of theorem-proving algorithms
A. O. Slisenko
UDC:
51.01
Fulltext:
PDF file (527 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (527 kB)