Sign in
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory.
Hongbiao Gao
Yuichi Goto
Jingde Cheng
Published in:
SKG (2013)
Keyphrases
</>
computational model
set theory
formal theory
image segmentation
multiscale
association rules
probability distribution
theoretical framework
experimental data