RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
Zap. Nauchn. Sem. LOMI, 1969 Volume 16, Pages 8–19 (Mi znsl2332)
A computer algorithm for establishing deducibility, based on the inverse method

G. V. Davydov, S. Yu. Maslov, G. E. Mints, V. P. Orevkov, A. O. Slisenko




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024