A Category-Theoretic Treatment of Automated Theorem Proving.

Maria Paola Bonacina Jieh Hsiang

Published in: J. Inf. Sci. Eng. (1996)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
object categories
orders of magnitude
learning algorithm
artificial intelligence
object recognition
web directories
medical treatment