Sign in
Proof Search and Counter Model of Positive Minimal Predicate Logic.
Tao Xue
Qichao Xuan
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
high level
probabilistic model
predicate logic
formal model
evolutionary algorithm