机译:超一致条件下的自然演绎系统:PCont的证明搜索
Paraconsistent Logic; Natural Deduction; Proof Search;
机译:超一致条件下的自然演绎系统:PCont的证明搜索
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:直觉命题自然演绎的ADC证明搜索方法
机译:用于自然命题演算的自然演算演算中的证明搜索
机译:自然语言解释的自然演绎证明。
机译:使用地理信息系统Web映射应用程序来支持主动案例搜索以指导在津巴布韦的Covid-19的上下文中指导公共健康和社会措施:指导类似资源设置中方法复制的初步报告
机译:迈向逻辑自然推导系统的广义证明搜索I⟨a;b⟩
机译:将分辨率证明转换为自然演绎证明