劳伦斯·C·鲍尔森。;Grąbczewski,Krzysztof 机械化集合论。基数运算和选择公理。 (英语) Zbl 0868.03005号 J.自动化。推理 17,第3期,291-323(1996). 审核人:D.盆地(弗莱堡i.Br.) MSC公司:03B35型 03E25型 68吨15 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}和\textit{K.Grąbczewski},J.Autom。推理17,No.3,291--323(1996;Zbl 0868.03005) 全文: 内政部
迪帕克·卡普尔;Subramaniam,M。 线性算法在归纳法自动定理证明中的新用途。 (英语) Zbl 0851.0302号 J.自动化。推理 16,第1-2号,第39-78页(1996年). 审核人:D.盆地(萨尔布吕肯) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}和\textit{M.Subramaniam},J.Autom。推理16,No.1--2,39--78(1996;Zbl 0851.0302) 全文: 内政部