| Keyword : heuristics
| |
| |
|
A Heuristic Proof Procedure for First-Order Logic Keehang KWON | Publication:
Publication Date: 2020/03/01
Vol. E103-D
No. 3 ;
pp. 549-552
Type of Manuscript:
Special Section LETTER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —)
Category: Keyword: proof procedures, heuristics, game semantics, classical logic, | | Summary | Full Text:PDF(73.4KB) | |
| |
| |
| |
| |
| |
| |
| |
|
|