RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1976
Volume 228,
Number 5,
Pages
1041–1044
(Mi dan40149)
MATHEMATICS
On the complexity of derivations in classical propositional calculus
S. V. Popov
Applied Mathematics Institute, Academy of Sciences of the USSR, Moscow
UDC:
517.11
Presented:
A. N. Tikhonov
Received: 16.02.1976
Fulltext:
PDF file (570 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024