有限可满足性相关硕士博士期刊学术论文 - 搜论网

有限可满足性相关论文

关于1阶域论命题的可满足性

考察了语言Ｔ＝（＋，·０，１）上１阶域论命题的有限可满足性及无限可满足性，得到一些初步结论。对于整环及除环的情况也有类似或较弱的结论，结合Ｊ，Ａｘ的......

期刊

模型论有限可满足性域论命题可满足性 model theory field finite satisfiability

看过本文同时还关注