Computable soft separation axioms.

Salah M. Elsayed Keng Meng Ng

Published in: Math. Struct. Comput. Sci. (2023)

Keyphrases

knowledge base
first order logic
turing machine
real world
multi agent
support vector
multiresolution
hard constraints
complete axiomatization