anthem software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

Translate answer set programs to first-order theorem prover language
Share - Bookmark