Tarski's system of geometry.

Alfred Tarski Steven Givant

Published in: Bull. Symb. Log. (1999)

Keyphrases

three dimensional
data sets
geometric constraints
databases
genetic algorithm
learning algorithm
information systems
database systems
information technology
geometric features
geometric information