×

找到11份文件（结果1-11）

最新的 引文 关联
保拉·福切里;保罗·金蒂里尼;玛丽亚·特蕾莎·莫尔菲诺

作为概率证明理论基础的自动演绎研究。 （英语） Zbl 0874.03012号

Ursini，Aldo（编辑）等人，《逻辑与代数》。纪念罗伯托·马加里国际会议记录，1994年4月26日至30日，意大利蓬蒂尼亚诺。纽约州纽约市：马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 491-527 (1996).
审核人：D.盆地（弗莱堡i.Br.）
MSC公司：03B35型 30楼03号 94甲17 20层03
PDF格式BibTeX公司 XML格式引用
\textit{P.Forcheri}等人，Lect。Notes纯应用。数学。180、491--527（1996年；Zbl 0874.03012）
列夫·贝克莱米舍夫

关于\（\text{PA}\）和\（\text{I}\Delta_0+\text{EXP}\）的Magari代数的注记。 （英语） Zbl 0855.03038号

Ursini，Aldo（编辑）等人，《逻辑与代数》。纪念罗伯托·马加里国际会议记录，1994年4月26日至30日，意大利蓬蒂尼亚诺。纽约州纽约市：马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 317-325 (1996).
MSC公司：03G25号 30楼03号 06E25年 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Beklemishev}，莱克特。Notes纯应用。数学。180、317--325（1996年；Zbl 0855.03038）
莱克斯·亨德里克斯;迪克·德·乔恩

有限生成的Magari代数和算术。 （英语） Zbl 0865.03053号

Ursini，Aldo（编辑）等人，《逻辑与代数》。纪念罗伯托·马加里国际会议记录，1994年4月26日至30日，意大利蓬蒂尼亚诺。纽约州纽约市：马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 137-160 (1996).
审核人：L.Esakia（第比利斯）
MSC公司：03G25 03B45号 06E25年
PDF格式BibTeX公司 XML格式引用
\textit{L.Hendriks}和\textit{D.de Jongh}，莱克特。Notes纯应用。数学。180、137--160（1996年；Zbl 0865.03053）
R.Baker Kearfott先生

综述了约束全局优化问题验证解中的技术。 （英语） Zbl 0841.65049号

Kearfott，R.Baker（编辑）等人，《区间计算的应用》。1995年2月23日至25日，美国德克萨斯州埃尔帕索国际研讨会会议记录。多德雷赫特：Kluwer学术出版社。申请。最佳方案。3, 23-59 (1996).
MSC公司：65千5 65G30型 90立方 90-02 65-02
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Kearfott}，应用。最佳方案。3、23-59（1996年；Zbl 0841.65049）
大卫·塞鲁克;帕特里克·林肯;Natarajan Shankar

关于肖斯塔克的理论组合决策程序。 （英语） Zbl 1415.03019号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 463-477 (1996).
MSC公司：03B35型 03B25号 03B62号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Cyrluk}等人，Lect。注释计算。科学。1104463-477（1996年；Zbl 1415.03019）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前3名

主字段

全部的 前3名

软件