Optimization Methods for Logical Inference
暂无分享,去创建一个
Propositional Logic: Special Cases. Propositional Logic: The General Case. Probabilistic and Related Logics. Predicate Logic. Nonclassical and Many--Valued Logics. Appendix. Bibliography. Index.