Classical Brouwer-Heyting-Kolmogorov Interpretation.

Published in: ALT (1997)

Keyphrases

database
semantic interpretation
set theory
learning algorithm
website
decision trees
mobile robot