RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1986
Volume 286,
Number 5,
Pages
1065–1068
(Mi dan47347)
MATHEMATICS
Proof search without repeated examination of subgoals
V. S. Neiman
Institute of Theoretical Astronomy of the USSR Academy of Sciences, Leningrad
UDC:
510.662
Presented:
L. D. Faddeev
Received: 03.12.1984
Fulltext:
PDF file (677 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (677 kB)