共 5 条
[1]
Maslov S.Yu.(1965)An inverse method of establishing deductibilities in the classical predicate calculus, Dokl. 5 1420-1424
[2]
Robinson J.A.(1965)A machine-oriented logic based on the resolution principle J. ACM 12 23-41
[3]
Tarski A.(1944)The semantic conception of truth and the foundations of semantics Philos. Phenomenol. Res. 4 341-376
[4]
Zabezhailo M.I.(2014)Some capabilities of enumeration control in the JSM method. Part one Sci. Tech. Inf. Process. 41 335-347
[5]
Zabezhailo M.I.(2014)Some capabilities of enumeration control in the JSM method. Part two Sci. Tech. Inf. Process. 41 348-361