First Page | Document Content | |
---|---|---|
![]() Date: 2016-07-01 14:44:38Knowledge representation Reasoning Logic Mathematics Computational topology Constraint programming Region connection calculus Mathematical logic Ontology Topology Image segmentation Topological space | Add to Reading List |