Tarski Geometry Axioms. Part III.

Roland Coghetto Adam Grabowski

Published in: Formaliz. Math. (2017)

Keyphrases

table of contents
real time
three dimensional
information systems
knowledge base
search algorithm
first order logic
neural network
data mining
artificial intelligence
image processing
database systems
geometric information