Sign in
Tarski Geometry Axioms - Part II.
Roland Coghetto
Adam Grabowski
Published in:
Formaliz. Math. (2016)
Keyphrases
</>
three dimensional
knowledge base
databases
geometrical constraints
artificial neural networks
geometric constraints