Simple Type Theory as a Clausal Theory.

Published in: CoRR (2023)

Keyphrases

theoretical basis
data sets
information retrieval
decision trees
information technology
information theory
formal theory