恰基萨卡马;井上,Katsumi;佐藤泰介 张量空间中的逻辑编程。 (英语) Zbl 1496.68092号 安。数学。工件。智力。 89,第12期,1133-1153(2021)。MSC公司:68N17号 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Sakama}等人,《数学年鉴》。工件。智力。89,编号12,1133--1153(2021;Zbl 1496.68092) 全文: 内政部
雅克·卡梅特(编辑) 特刊:计算机代数的应用。2010年6月24日至27日,阿尔巴尼亚维罗拉ACA第16届计算机代数应用国际会议上,计算机代数在基于知识的应用中的会议上所作的演讲,以此为基础选出论文。 (英语) Zbl 1294.68013号 安。数学。工件。智力。64,第4期,335-426(2012)。 MSC公司:68-06 68立方英尺 68瓦30 00时25分 PDF格式BibTeX公司 XML格式
克里斯托夫·施瓦茨韦勒 根据定理的要求设计数学库。 (英语) Zbl 1023.68130号 安。数学。工件。智力。 38,编号1-3,193-209(2003)。MSC公司:68瓦30 68吨15 68立方英尺 68层35 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwarzweller},Ann.数学。工件。智力。38,编号1--3,193-209(2003;Zbl 1023.68130) 全文: 内政部
宁、彭;王晓阳·肖恩;苏希尔·贾乔迪亚 日历的代数表示。 (英语) Zbl 1001.68034号 安。数学。工件。智力。 36,第1-2号,第5-38号(2002年)。MSC公司:第68页,共15页 68瓦30 68立方英尺 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{P.Ning}等人,Ann.Math。工件。智力。36,编号1--2,5--38(2002;Zbl 1001.68034) 全文: 内政部
詹姆斯·德尔格兰德。;阿文德·古普塔 非负公式中最小部分真值赋值和蕴涵的复杂性。 (英语) Zbl 0891.68110号 安。数学。工件。智力。 18,第1期,第51-67页(1996年)。MSC公司:68立方英尺 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}和\textit{A.Gupta},Ann.Math。工件。智力。18,第1号,51--67(1996;Zbl 0891.68110) 全文: 内政部