多默,R.D。;C·麦克尼什。 规划算法的PAC-learnability:研究简单规划领域。 (英语) Zbl 0946.68121号 信息科学。 116,第1期,第83-95页(1999年).MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Dormer}和\textit{C.MacNish},信息科学。116,编号1,83--95(1999;Zbl 0946.68121) 全文: 内政部
大卫·比林顿 用可解逻辑证明量化的文字。 (英语) Zbl 0936.03029号 信息科学。 116,第1期,55-81(1999).MSC公司:03B60号 68T27型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Billington},信息科学。116,第1号,55-81(1999年;Zbl 0936.03029) 全文: 内政部
伊芙琳娜·拉姆;保罗·梅洛;米歇拉·米兰;法布里西奥·里古齐 在逻辑编程中集成归纳和推理。 (英语) Zbl 0933.68030号 信息科学。 116,第1号,25-54(1999年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Lamma}等人,《信息科学》。116,编号1,25--54(1999;Zbl 0933.68030) 全文: 内政部
Fehrer、Detlef;赫尔穆特·霍拉切克 在数学证明中提出不等式。 (英语) Zbl 0933.68124号 信息科学。 116,第1期,3-23页(1999年).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fehrer}和\textit{H.Horacek},信息科学。116,第1号,第3--23号(1999;Zbl 0933.68124) 全文: 内政部