佛朗哥·帕拉米奥;阿尔贝托,Policriti 集合论基本子语言的决策程序:XIII。模型图、反射和可判定性。 (英语) Zbl 0734.03006号 J.自动化。推理 7,第2期,271-284(1991).MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},J.Autom。推理7,No.2,271--284(1991;Zbl 0734.03006) 全文: DOI程序
费罗,A。 集合论基本子语言的决策程序:XII。用单值和选择运算符扩展了多级三段论。 (英语) Zbl 0734.03005号 J.自动化。推理 7,第2期,257-270(1991年).MSC公司:03B25号 03E99型 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferro},J.Autom。推理7,No.2,257--270(1991;Zbl 0734.03005)
坎通纳,D。;J.T.施瓦茨。 集合论基本子语言的决策程序:XI。由一些基本映射结构扩展的多级三段论。 (英语) Zbl 0734.03004号 J.自动化。推理 7,第2期,231-256(1991年).MSC公司:03B25号 03E99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{J.T.Schwartz},J.Autom。推理7,第2期,231-256(1991年;Zbl 0734.03004)
坎通纳,D。 集合论初等子语言的决策过程:X。由单值算子和幂集算子扩展的多级三段论。 (英语) Zbl 0734.03003号 J.自动化。推理 7,第2期,193-230(1991).MSC公司:03B25号 03E99型 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone},J.Autom。推理7,No.2,193--230(1991;Zbl 0734.03003)
安德鲁斯,彼得·B·。 更多关于在子句表示和自然演绎表示之间找到映射的问题。 (英语) Zbl 0728.03010号 J.自动化。推理 7,第2期,285-286(1991年).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.安德鲁斯},J.Autom。推理7,No.2,285--286(1991;Zbl 0728.03010) 全文: DOI程序
Quaife,艺术 初等数论中尚未解决的问题。 (英语) Zbl 0954.68512号 J.自动化。推理 7,第2期,287-300(1991年).MSC公司:68吨15 03B35型 11U99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Quaife},J.Autom(汽车杂志)。推理7,No.2,287--300(1991;Zbl 0954.68512) 全文: DOI程序
吴文忠 微分几何的力学定理证明及其在力学中的一些应用。 (英语) Zbl 0736.03002号 J.自动化。推理 171-191年第2期第7页(1991年).MSC公司:03B35型 68吨15 53甲17 53A04号 2015年1月70日 PDF格式BibTeX公司 XML格式引用 \textit{W.Wu},J.Autom。推理7,No.2,171--191(1991;Zbl 0736.03002)