Correction to "Axiomatizations of Hyperbolic Geometry".

Victor Pambuccian

Published in: Synth. (2005)

Keyphrases

three dimensional
database
geometric structure
error detection
real time
machine learning
computer vision
error analysis
decision procedures