|
Zapiski Nauchnykh Seminarov LOMI, 1969, Volume 16, Pages 54–64
(Mi znsl2336)
|
|
|
|
On a class of strategies for the resolution method
N. K. Zamov, V. I. Sharonov
Citation:
N. K. Zamov, V. I. Sharonov, “On a class of strategies for the resolution method”, Studies in constructive mathematics and mathematical logic. Part III, Zap. Nauchn. Sem. LOMI, 16, "Nauka", Leningrad. Otdel., Leningrad, 1969, 54–64
Linking options:
https://www.mathnet.ru/eng/znsl2336 https://www.mathnet.ru/eng/znsl/v16/p54
|
Statistics & downloads: |
Abstract page: | 209 | Full-text PDF : | 84 |
|