Login / Signup
Proof Normalization with Nonstandard Objects.
Shigeki Goto
Published in:
Theor. Comput. Sci. (1991)
Keyphrases
</>
moving objects
multi object
theorem proving
multiple objects
data objects
d objects
preprocessing
information retrieval
bayesian networks
case study
viewpoint
image processing
spatial relationships
machine learning
theorem prover
neural network
data sets