Preview
Unable to display preview. Download preview PDF.
References
Chang C.L., Lee R.C.T. Symbolic logic and mechanical theorem proving. Academic Press, New York, San Francisco, London, 1973.
Maslov S.Ju. The inverse method of establishing deducibility for logical calculi. Trudy Mathemat. Inst. AN SSSR, 98(1968), 26–87.
Maslov S.Ju. The connection between tactics of the inverse method and the resolution method. Zap. Naucn. Sem. Leningrad. Otdel. Mathemat. Inst. Steklov (LOMI), 16(1969), 137–146.
Daviodov G.V. The synthesis of resolution method with inverse method. Zap. Naucn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI), 20(1971), 24–35.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamov, N.K. (1987). On a connection between the resolution method and the inverse method. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_110
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_110
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive