-Reduction Axioms to the Brouwer System.

Published in: Math. Log. Q. (1978)

Keyphrases

knowledge base
three dimensional
significant improvement
mobile robot
data mining
image processing
first order logic