重言衍推系统的试探法自动证明
중언연추계통적시탐법자동증명
AUTOMATED PROVING OF HEURISTIC ALGORITHM FOR TAUTOLOGY ENTAILMENT SYSTEM
저자의 최근 논문