References
C.L. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving [Russian translation], Nauka, Moscow (1983).
Yu. Ya. Samokhvalov, “Reduction of the search space in logical derivation procedures,” Vestnik KGU, No. 7, 104–110 (1992).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 185–187, May–June, 1997.
Rights and permissions
About this article
Cite this article
Samokhvalov, Y.Y. Theorem proving in infinite herbrand domain. Cybern Syst Anal 33, 456–458 (1997). https://doi.org/10.1007/BF02733080
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02733080