亚历山大·戈德斯特恩;克里斯托夫·杰曼;维森特·鲁伊斯·德·安古洛;卡梅·托拉斯 数值约束问题中的变量对称性破坏。 (英文) 兹比尔1343.65068 Artif公司。智力。 229, 105-125 (2015).MSC公司:65千5 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Goldsztejn}等人,Artif。智力。229105-125(2015;Zbl 1343.65068) 全文: 内政部
劳伦特·加西亚;雷吉斯·萨巴丁 可能性影响图的复杂性结果和算法。 (英文) Zbl 1183.62133号 Artif公司。智力。 172,编号8-9,1018-1044(2008).MSC公司:62升10 62C99个 62A09号 91B06型 65C60个 PDF格式BibTeX公司 XML格式引用 \textit{L.Garcia}和\textit{R.Sabbadin},Artif。智力。172,编号8--9,1018--1044(2008;Zbl 1183.62133) 全文: 内政部
丹尼尔·布莱斯;苏巴拉奥·坎巴帕蒂;大卫·E·史密斯。 概率规划可达性启发式中的序贯蒙特卡罗方法。 (英文) Zbl 1182.68226号 Artif公司。智力。 172,编号6-7,685-715(2008).MSC公司:68T20型 65二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{D.Bryce}等人,Artif。智力。172,编号6--7,685--715(2008;Zbl 1182.68226) 全文: 内政部
本杰明·舒尔茨;本杰明·库珀斯。 连续系统的性质证明:定性模拟和时序逻辑。 (英文) Zbl 1017.68514号 Artif公司。智力。 92,编号1-2,91-129(1997).MSC公司:60年第68季度 03B44号 65升70 PDF格式BibTeX公司 XML格式引用 \textit{B.Shults}和\textit{B.J.Kuipers},阿蒂夫。智力。92,编号1--2,91-129(1997;Zbl 1017.68514) 全文: 内政部
丰崎西田;Doshita,舒吉 定性分析具有两个状态变量的分段线性微分方程组的行为。 (英文) Zbl 1028.34007号 Artif公司。智力。 75,第1期,3-29(1995).MSC公司:34A25型 34立方厘米20 65升99 34-04 34二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Nishida}和\textit{S.Doshita},Artif。智力。75,第1号,第3--29号(1995年;Zbl 1028.34007) 全文: 内政部
本杰明·库珀斯。;查尔斯·邱;Dall Molle,David T。;D.R.Throup。 定性模拟中的高阶导数约束。 (英文) Zbl 0751.68081号 Artif公司。智力。 51,编号1-3,343-379(1991).MSC公司:68岁20岁 65C20个 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Kuipers}等人,Artif。智力。51,编号1--3,343--379(1991;Zbl 0751.68081) 全文: 内政部
Sacks,Elisha P。 通过智能数值模拟自动分析单参数平面常微分方程。 (英文) Zbl 0714.65068号 Artif公司。智力。 48,第1期,第27-56页(1991年). 审核人:M.Bartušek先生 MSC公司:65升05 65C20个 37-XX年 68层35 34C23型 34-04 34二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Sacks},阿蒂夫。智力。48,编号1,27-56(1991;Zbl 0714.65068) 全文: 内政部
拉杜·霍劳;布雷迪,迈克尔 关于图像轮廓的几何解释。 (英文) 兹伯利0673.65009 Artif公司。智力。 37,编号1-3,333-353(1988). 审核人:G.Maeß MSC公司:65日第15天 51号05 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{R.Horaud}和\textit{M.Brady},Artif。智力。37,编号1--3,333--353(1988;Zbl 0673.65009) 全文: 内政部
维克多·米伦科维奇。 使用有限精度算法的几何算法的可验证实现。 (英文) Zbl 0665.65014号 Artif公司。智力。 37,编号1-3,377-401(1988). 审核人:J.温斯坦 MSC公司:65日第15天 65克50 68T99型 51-04 PDF格式BibTeX公司 XML格式引用 \textit{V.J.Milenkovic},阿蒂夫。智力。37,编号1-3377-401(1988年;Zbl 0665.65014) 全文: 内政部
Jean-Pierre,Laurent 一种程序,使用启发式方法来计算极限,以评估不确定的形式。 (英文) 兹比尔0266.68019 Artif公司。智力。 4, 69-94 (1973).MSC公司:68瓦99 65克50 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Laurent},阿蒂夫。智力。4、69-94(1973年;Zbl 0266.68019) 全文: 内政部