|
Zapiski Nauchnykh Seminarov LOMI, 1969, Volume 16, Pages 137–146
(Mi znsl2345)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
A connection between tactics of the inverse method and the resolution method
S. Yu. Maslov
Citation:
S. Yu. Maslov, “A connection between tactics of the inverse method and the resolution method”, Studies in constructive mathematics and mathematical logic. Part III, Zap. Nauchn. Sem. LOMI, 16, "Nauka", Leningrad. Otdel., Leningrad, 1969, 137–146
Linking options:
https://www.mathnet.ru/eng/znsl2345 https://www.mathnet.ru/eng/znsl/v16/p137
|
Statistics & downloads: |
Abstract page: | 255 | Full-text PDF : | 124 |
|