RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1970
Volume 191,
Number 5,
Pages
1004–1006
(Mi dan35341)
MATHEMATICS
The complexity of the algorithms that are connected with the realization of logico-arithmetical and propositional formulae
V. I. Khomich
Lomonosov Moscow State University
UDC:
517.11
Presented:
P. S. Novikov
Received: 04.09.1969
Fulltext:
PDF file (438 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025