A formalised theorem in the partition calculus.

Lawrence C. Paulson

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

von neumann
partitioning algorithm
automated deduction
mental states
decision trees
bayesian networks
data structure
expert systems