On partial disjunction properties of theories containing Peano arithmetic.

Taishi Kurahashi

Published in: Arch. Math. Log. (2018)

Keyphrases

data sets
databases
structural properties
desirable properties
computer vision
image processing
web services
bayesian networks
probability distribution