Login / Signup

Increasing the efficiency of automated theorem proving.

Gabriel AguileraInman P. de GuzmánManuel Ojeda-Aciego
Published in: J. Appl. Non Class. Logics (1995)
Keyphrases
  • automated theorem proving
  • theorem proving
  • theorem prover
  • case study
  • multiscale
  • search algorithm
  • relational databases
  • data model
  • modal logic
  • answer set programming