Proving Geometry Statements of Constructive Type.

Shang-Ching Chou Xiao-Shan Gao

Published in: CADE (1992)

Keyphrases

three dimensional
information systems
case study
multi agent
wide range
viewpoint
data sets
social networks
feature extraction
data structure
natural language
geometric structure