A Heuristic Proof Procedure for First-Order Logic

Keehang KWON  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2019/11/21
DOI: 10.1587/transinf.2019FCL0003
Full Text: PDF(269.2KB)