An improvement on a spernerity proof of Horrocks.

Szu-En Cheng Ko-Wei Lih

Published in: Theor. Comput. Sci. (2001)

Keyphrases

mathematical proofs
social networks
information systems
image processing
object recognition
significant improvement
theorem proving
feature selection
decision making
decision trees
expert systems
relational databases
linear logic
proof theory