罗云荣;Cheng,车;蒋洁红R。 依赖随机布尔可满足性的分辨证明系统。 (英语) Zbl 07739776号 J.汽车。推理 67,第3号,第26号论文,第27页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-R.Luo}等人,J.Autom。推理67,第3号,论文26,27页(2023;Zbl 07739776) 全文: 内政部
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿姆卡·塞尔纳达斯 不可靠连接词存在下的克雷格插值。 (英语) Zbl 1342.03022号 日志。Univers大学。 8,编号3-4,423-446(2014).MSC公司:03B48号 03B60号 03B70号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,日志。Univers大学。8、编号3--4、423--446(2014;Zbl 1342.03022) 全文: 内政部