RUS  ENG
Full version
JOURNALS // Issledovaniya po Prikladnoi Matematike i Informatike // Archive
Issled. Prikl. Mat., 1977 Issue 4, Pages 31–34 (Mi kuipm259)
Decision tactics for derivation search in the resolution method

N. K. Zamov, V. I. Sharonov



 English version: Journal of Soviet Mathematics, 1987, 39:5, 2969–2971

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024