Skip to main navigation Skip to search Skip to main content

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 journal › Article › peer-review

7   Link opens in a new tab Citations (Scopus)
103 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.
Sort by

Computer Science