Sign in
Tarski Geometry Axioms. Part IV - Right Angle.
Roland Coghetto
Adam Grabowski
Published in:
Formaliz. Math. (2019)
Keyphrases
</>
three dimensional
knowledge base
relative position
databases
multiscale
table of contents
machine learning
data mining
geometrical constraints