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

13 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.

Physics & Astronomy

Mathematics

Chemical Compounds

Engineering & Materials Science