G.I.莫加达姆。;帕德马纳班,R。;张扬 使用功率图进行自动推理。 (英文) Zbl 1468.03016号 J.汽车。推理 64,第4号,689-697(2020).MSC公司:03B35型 2015年20月 20个M10 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{G.I.Moghaddam}等人,J.Autom。推理64,No.4,689--697(2020;Zbl 1468.03016) 全文: 内政部
兰加纳坦帕德马纳班;张扬 环理论中的自动演绎。 (英文) Zbl 1434.68642号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9725, 67-74 (2016).MSC公司:68伏15 03B35型 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{Y.Zhang},Lect。注释计算。科学。9725,67-74(2016;Zbl 1434.68642) 全文: 内政部
威廉·麦库恩;帕德马纳班,R。 方程式逻辑和三次曲线的自动推导。 (英文) Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,第231页,54.00德国马克;öS 394.20;法语。48.00 (1996).MSC公司:03B35型 68吨15 03-02 68-02 03C05号机组 08-04 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan},等式逻辑和三次曲线的自动演绎。柏林:Springer-Verlag(1996;Zbl 0921.03011) 全文: 内政部