Automated theorem proving in quasigroup and loop theory.

J. D. Phillips David Stanovský

Published in: AI Commun. (2010)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
theoretical basis
theoretical framework
general theory
real time
case study
relational databases
semi supervised
modal logic
information theory
answer sets