Simplifying von Plato's Axiomatization of Constructive Apartness Geometry.

Dafa Li Peifa Jia Xinxin Li

Published in: Ann. Pure Appl. Log. (2000)

Keyphrases

three dimensional
artificial intelligence
database
neural network
data mining
decision trees
geometric constraints
relative position
geometric features
geometric information