Login / Signup

Proof Search and Counter Model of Positive Minimal Predicate Logic.

Tao XueQichao Xuan
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • high level
  • probabilistic model
  • predicate logic
  • formal model
  • evolutionary algorithm