CSE_E 1.0: An integrated automated theorem prover for first-order logic

Feng Cao, Yang Xu, J. Liu, Shuwei Chen, Xinran Ning

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)
63 Downloads (Pure)

Fingerprint

Dive into the research topics of 'CSE_E 1.0: An integrated automated theorem prover for first-order logic'. Together they form a unique fingerprint.

Computer Science