Login / Signup

Application of Automated Theorem-Proving to Philosophical Thought: Spinoza's Ethics.

Maciej JanowiczLuiza OchnioLeszek J. ChmielewskiArkadiusz Orlowski
Published in: ICISA (2017)
Keyphrases
  • automated theorem proving
  • theorem proving
  • database
  • real time
  • computer science
  • search strategy
  • answer set programming
  • application specific