A Heuristic Proof Procedure for First-Order Logic
['Keehang KWON']
/
IEICE Transactions in Information and Systems
/ Vol. 103
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？