×

找到165个文档（结果1-100）

最新的 引文 关联
埃克哈德·希策（编辑）

四元数积分变换。机器生成的文献综述。 （英语） Zbl 07730922号

数学趋势查姆：Birkhä用户（ISBN 978-3-031-28374-1/pbk；978-3-331-28375-8/电子书）。xi，179页。(2023).
审核人：德克·沃纳（柏林）
MSC公司：44-02 第44页第15页 47S05号 30克35 68立方英尺 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{E.Hitzer}（编辑），四元数积分变换。机器生成的文献综述。查姆：Birkhäuser（2023；Zbl 07730922）
全文： 内政部
乌迈尔·瓦卡斯;阿兹马瓦尼·阿布德·拉赫曼;诺玛兹·瓦纳·伊斯梅尔;卡迈尔·巴沙，诺拉兹林;索尼娅·乌迈尔

供应链风险管理及其对供应链绩效的中介作用的影响：来自农产品的视角。 （英语） Zbl 07711876号

安·Oper。物件。 324，编号1-2，1399-1427（2023）.
MSC公司：62Jxx型 90亿xx 90摄氏度
PDF格式BibTeX公司 XML格式引用
\textit{U.Waqas}等人，Ann.Oper。第324号决议，编号1--2，1399--1427（2023；Zbl 07711876）
全文： 内政部
芙蓉岛、秀君;大一山道;Shigenaka、Seigo;中关村，Kazuhisa;Katsumi Wasaki

Mizar数学图书馆的集成web平台。 （英语） Zbl 07691295号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13467, 141-146 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Furushima}等人，Lect。注释计算。科学。13467，141--146（2022；Zbl 07691295）
全文： 内政部 arXiv公司
Elizarov，A.M。;A.V.基里洛维奇。;英国利帕切夫。;O.A.内夫佐罗娃。

\（\text{OntoMath}^{\text{PRO}}）：数学知识的本体。 （英语。俄文原件） Zbl 1512.68435号

多克。数学。 106，第3期，429-435（2022）; Dokl翻译。罗斯。阿卡德。恶心，Mat.Inform。被驱逐出境。507, 29-35 (2022).
MSC公司：68伏30 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Elizarov}等人，Dokl。数学。106，编号3，429--435（2022；Zbl 1512.68435）；Dokl翻译。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。507, 29--35 (2022)
全文： 内政部
维科瓦努，德拉戈什·伊努;奥纳州杰曼;巴科斯群岛，卡里纳;马吕斯·普列里普塞努

基于区块链技术的医疗器械管理系统。 （英语） 兹伯利07726688

灯泡。政治学会。Iași，第ț节。一、 材料机械。特奥。菲兹。 67（71），编号4，27-38（2021）.
MSC公司：92 C50 68伏30 94A62
PDF格式BibTeX公司 XML格式引用
\textit{D.I.Vicoveanu}等人，保加利亚。政治学会。Iași，第ț节。一、 材料机械。特奥。菲兹。67（71），编号4，27-38（2021；Zbl 07726688）
科林·罗斯冈;阿图尔·科尔尼·奥维茨;弗洛里安·拉贝

Mizar数学库的新导出。 （英语） 兹比尔1485.68294

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12833, 205-210 (2021).
MSC公司：68V20型 68伏30 68伏35
PDF格式BibTeX公司 XML格式引用
\textit{C.Rothgang}等人，Lect。注释计算。科学。12833、205-210（2021；Zbl 1485.68294）
全文： 内政部
苏珊娜·阿恩特;帕特里克·伊恩;Mila，Runnerth;莫里茨·舒博茨;奥拉夫·特施克

10年后：数学学科分类和关联开放数据。 （英语） Zbl 1485.68297号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12833, 153-158 (2021).
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{S.Arndt}等人，Lect。注释计算。科学。12833、153--158（2021年；Zbl 1485.68297）
全文： 内政部 arXiv公司
亚历山大·塞缪尔·艾伦

短路人工一般智能的数学知识定义。 （英语） Zbl 1474.68342号

Cleophas，Loek（编辑）等人，《软件工程和形式化方法》。SEFM 2020同期研讨会：ASYDE、CIFMA和CoSim CPS，荷兰阿姆斯特丹，2020年9月14日至15日，修订了部分论文。查姆：斯普林格。勒克特。注释计算。科学。第12524页，201-213页（2021）。
MSC公司：68立方英尺 03B45号 68T27型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Alexander}，莱克特。注释计算。科学。12524，201-213（2021；Zbl 1474.68342）
全文： 内政部 链接
Mila，Runnerth;马库斯·斯托克;索伦·奥尔

作为开放研究知识图用例的运筹学文献。 （英语） Zbl 1503.68300号

Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12097, 327-334 (2020).
MSC公司：68伏30 90-11
PDF格式BibTeX公司 XML格式引用
\textit{M.Runnwerth}等人，Lect。注释计算。科学。12097、327--334（2020年；Zbl 1503.68300）
全文： 内政部 arXiv公司
OA许可证
理查德·马库斯;迈克尔·科尔哈斯;弗洛里安·拉贝

TGView3D：理论图形的三维可视化系统。 （英语） Zbl 1455.68267号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。2020年7月26日至31日，第13届国际会议，亚信2020，意大利贝尔蒂诺罗。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236290-296（2020年）。
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{R.Marcus}等人，Lect。注释计算。科学。12236290-296（2020；Zbl 1455.68267）
全文： 内政部
弗洛里斯·范·道恩;加布里埃尔·埃布纳;罗伯特·刘易斯。

维护一个形式数学库。 （英语） Zbl 1455.68262号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 251-267 (2020).
MSC公司：68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{F.van Doorn}等人，Lect。注释计算。科学。12236，251--267（2020；Zbl 1455.68262）
全文： 内政部 arXiv公司
莫里茨·舒博茨;菲利普·沙尔普夫;奥拉夫·特施克;安德烈亚斯·库内蒙德;科琳娜·布雷廷格;吉普，贝拉

AutoMSC：自动分配数学科目分类标签。 （英语） Zbl 1455.68269号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236237-250（2020年）。
MSC公司：68伏30 68伏35
PDF格式BibTeX公司 XML格式引用
\textit{M.Schubotz}等人，Lect。注释计算。科学。12236，237--250（2020；Zbl 1455.68269）
全文： 内政部 arXiv公司
穆勒，丹尼斯;弗洛里安·拉贝;科林·罗斯冈;迈克尔·科尔哈斯

在正式元语言中表示结构语言特征。 （英语） Zbl 1455.68268号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 206-221 (2020).
MSC公司：68伏30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}等人，Lect。注释计算。科学。12236、206-221（2020；Zbl 1455.68268）
全文： 内政部
迈克尔·科尔哈斯;本杰明·伯勒;理查德·马库斯;穆勒，丹尼斯;丹尼斯·罗肖;纳维德·鲁克斯;约翰·希哈达;马克·斯塔明格

框架IT：在严肃游戏中从游戏设计中分离知识管理。 （英语） 兹比尔1455.68266

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 173-189 (2020).
MSC公司：68伏30 97U70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，Lect。注释计算。科学。12236，173--189（2020；Zbl 1455.68266）
全文： 内政部
亚历山大·基里洛维奇;奥尔加·内夫佐罗娃;玛丽娜·法利列娃;叶夫根·利帕切夫;莉莉亚娜·夏基洛娃

OntoMath：一个基于语言的教育数学本体论。 （英语） 兹比尔1455.68265

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 157-172 (2020).
MSC公司：68伏30 68立方英尺 68T50型 97U70型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kirillovich}等人，Lect。注释计算。科学。12236，157--172（2020；Zbl 1455.68265）
全文： 内政部
塞萨里·卡利西克;弗洛里安·拉贝

数学形式化语言调查。 （英语） 兹比尔1455.68257

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 138-156 (2020).
MSC公司：68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{F.Rabe}，莱克特。注释计算。科学。12236，138--156（2020；Zbl 1455.68257）
全文： 内政部 arXiv公司
雅克·卡雷特;Farmer，William M。;亚斯敏·沙罗达

利用理论陈述中包含的信息。 （英语） Zbl 1455.68255号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 55-70 (2020).
MSC公司：68V20型 08A70号 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。12236，55-70（2020；Zbl 1455.68255）
全文： 内政部 arXiv公司
卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝

面向数学知识的异构查询语言。 （英语） Zbl 1455.68264号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236, 39-54 (2020).
MSC公司：68伏30 68第20页
PDF格式BibTeX公司 XML格式引用
\textit{K.Berčič}等人，Lect。注释计算。科学。12236，39-54（2020；Zbl 1455.68264）
全文： 内政部
尤塔·普里斯

将符号概念分析应用于数学语言。 （英语） Zbl 07800272号

Endres，Dominik（编辑）等人，《基于图形的表示和推理》。2019年7月1日至4日在德国马尔堡举行的第24届国际概念结构会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11530, 248-256 (2019).
MSC公司：68伏30 68立方英尺 97立方
PDF格式BibTeX公司 XML格式引用
\textit{U.棱镜}，Lect。注释计算。科学。11530、248--256（2019；Zbl 07800272）
全文： 内政部
弗洛里安·拉贝;米勒，丹尼斯

用隐式形态构建理论。 （英语） Zbl 1444.68293号

JoséLuiz（编辑）等，《代数开发技术的最新趋势》。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。11563, 154-173 (2019).
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}和\textit{D.Müller}，莱克特。注释计算。科学。11563、154--173（2019年；Zbl 1444.68293）
全文： 内政部 哈尔
阿卜杜·尤塞夫;布鲁斯·米勒。

探讨单词嵌入在数学搜索和数学语义中的使用。 （英语） Zbl 1428.68354号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日，第12届国际会议，亚信2019，捷克共和国布拉格。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11617, 291-305 (2019).
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{A.Youssef}和\textit{B.R.Miller}，莱克特。注释计算。科学。11617，291--305（2019；Zbl 1428.68354）
全文： 内政部
弗洛里安·拉贝;亚斯敏·沙罗达

在MMT中绘制组合符。 （英语） Zbl 1428.68353号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11617, 211-226 (2019).
MSC公司：68版本30
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}和\textit{Y.Sharoda}，莱克特。注释计算。科学。11617，211-226（2019；Zbl 1428.68353）
全文： 内政部
弗洛里安·拉贝

MMTTeX：连接面向内容和叙事的文档格式。 （英语） Zbl 1428.68351号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11617, 205-210 (2019).
MSC公司：68五氧化二钒 68伏30
PDF格式BibTeX公司 XML格式引用
\文本｛F.Rabe｝，Lect。注释计算。科学。11617205-210（2019年；Zbl 1428.68351）
全文： 内政部
穆勒，丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩

Coq库作为理论图。 （英语） Zbl 1428.68344号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11617, 171-186 (2019).
MSC公司：68伏15 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}等人，Lect。注释计算。科学。116171-186（2019年；兹比尔1428.68344）
全文： 内政部
安德烈亚·康多卢奇;迈克尔·科尔哈斯;穆勒，丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩;马卡里乌斯·温泽尔

跨数学库的关系数据。 （英语） Zbl 1428.68352号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11617, 61-76 (2019).
MSC公司：68伏30 68伏35
PDF格式BibTeX公司 XML格式引用
\textit{A.Condoluci}等人，Lect。注释计算。科学。11617，61-76（2019；Zbl 1428.68352）
全文： 内政部
佩德罗·夸雷斯马

AI几何书中的自动演绎。 （英语） Zbl 1515.68346号

Fleuriot，Jacques（编辑）等人，《人工智能与符号计算》。第13届国际会议，AISC 2018，中国苏州，2018年9月16日至19日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11110, 221-226 (2018).
MSC公司：68伏15 51-04 68伏30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}，莱克特。注释计算。科学。11110、221--226（2018；Zbl 1515.68346）
全文： 内政部
陈晓宇;帅、昊天;王东明;杨靖

L（左）一课文：线性代数教材体系。 （英语） Zbl 1515.68351号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11110209-214（2018）。
MSC公司：68伏30 15-01
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，Lect。注释计算。科学。11110、209--214（2018；Zbl 1515.68351）
全文： 内政部
穆勒，丹尼斯;弗洛里安·拉贝;迈克尔·科尔哈斯

理论作为类型。 （英语） Zbl 1511.68340号

Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10900, 575-590 (2018).
MSC公司：68伏30 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}等人，Lect。注释计算。科学。10900，575--590（2018；Zbl 1511.68340）
全文： 内政部
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔

Mizar数学库在Mizar交互式证明开发中的作用。 （英语） Zbl 1433.68530号

J.汽车。推理 61号1-4、9-32（2018）.
MSC公司：68伏15 68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{G.Bancerek}等人，J.Autom。推理61，No.1--4，9-32（2018；Zbl 1433.68530）
全文： 内政部
OA许可证
汤姆·威辛;迈克尔·科尔哈斯;弗洛里安·拉贝

虚拟理论–数学知识库的统一接口。 （英语） Zbl 1497.68550号

Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日在奥地利维也纳举行的2017年MACIS第七届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10693243-257（2017年）。
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{T.Wiesing}等人，Lect。注释计算。科学。10693，243-257（2017；Zbl 1497.68550）
全文： 内政部
迈克尔·科尔哈斯;卢卡·德·费奥;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;维克托·瓦西利耶夫;汤姆·威辛

数学软件系统的基于知识的互操作性。 （英语） 兹比尔1497.68551

Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日在奥地利维也纳举行的2017年MACIS第七届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10693, 195-210 (2017).
MSC公司：68伏35 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，Lect。注释计算。科学。10693、195--210（2017年；Zbl 1497.68551）
全文： 内政部 链接
迈克尔·科尔哈斯;穆勒，丹尼斯;萨姆·奥雷;弗洛里安·拉贝

通过通用格式的解释使PVS可用于通用服务。 （英语） Zbl 1484.68311号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10499319-335（2017年）。
MSC公司：68伏15 68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，Lect。注释计算。科学。10499，319--335（2017；Zbl 1484.68311）
全文： 内政部
埃克塞尔·卢西纳亚;迈克尔·科尔哈斯

整数序列在线百科全书中的公式语义识别和自动关系查找。 （英语） Zbl 1434.68661号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 467-475 (2016).
MSC公司：68伏35 11B83号 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{E.Luzhenia}和\textit{M.Kohlhase}，莱克特。注释计算。科学。9725467-475（2016年；兹比尔1434.68661）
全文： 内政部
德扬·基涅夫;米尼亚·伊恩库;君士坦丁·朱科夫什;安德烈亚·科尔哈斯;迈克尔·科尔哈斯;奥里波夫，阿克巴;尤尔根·舍夫特;沃尔夫拉姆·斯珀伯;奥拉夫·特施克;汤姆·威辛

SMGloM项目和系统：走向数学术语和本体。 （英语） Zbl 1434.68649号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 451-457 (2016).
MSC公司：68伏30 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛D.Ginev｝等人，Lect。注释计算。科学。9725、451--457（2016年；Zbl 1434.68649）
全文： 内政部
布赫伯格，布鲁诺

GDML和EuKIM项目：关于倡议的简短报告。 （英语） Zbl 1434.68652号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 443-446 (2016).
MSC公司：68伏35 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{B.Buchberger}，莱克特。注释计算。科学。9725443-446（2016年；兹比尔1434.68652）
全文： 内政部
布赫伯格，布鲁诺

斯塔姆的身份收集：数学知识库的案例研究。 （英语） Zbl 1434.68651号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 437-442 (2016).
MSC公司：68伏35 68伏30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{B.Buchberger}，莱克特。注释计算。科学。9725437--442（2016年；Zbl 1434.68651）
全文： 内政部
沃尔夫拉姆·斯珀伯

数学研究数据和信息服务。 （英语） 兹比尔1434.68663

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 429-433 (2016).
MSC公司：68伏35 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{W.Sperber}，莱克特。注释计算。科学。9725429--433（2016年；Zbl 1434.68663）
全文： 内政部
托马斯·科普鲁基;卡斯滕·塔布洛

数学模型：一个研究数据类别？ （英语） 兹比尔1434.68650

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 423-428 (2016).
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{T.Koprucki}和\textit{K.Tabelow}，莱克特。注释计算。科学。9725423--428（2016年；Zbl 1434.68650）
全文： 内政部
刘银平;姚若霞;李志斌;杨乐;张志安

微分方程在线计算和知识平台。 （英语） Zbl 1434.68710号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 181-188 (2016).
MSC公司：68瓦30 34-04 34A34飞机 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}等人，Lect。注释计算。科学。9725、181--188（2016年；Zbl 1434.68710）
全文： 内政部
拉杜·汉巴桑;迈克尔·科尔哈斯

分面搜索数学。 （英语） Zbl 1460.68130号

Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9582, 406-420 (2016).
MSC公司：68版本30 68页第10页 68第20页 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{R.Hambasan}和\textit{M.Kohlhase}，莱克特。注释计算。科学。9582406--420（2016；Zbl 1460.68130）
全文： 内政部
安文雅;陈晓宇;王东明

使用从图表中检索的特征搜索几何定理。 （英语） Zbl 1460.68129号

Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9582, 383-397 (2016).
MSC公司：68版本30 2004年5月5日 68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{W.An}等人，Lect。注释计算。科学。9582383--397（2016；Zbl 1460.68129）
全文： 内政部
Ali Asghar Anvary，罗斯塔米;达乌德·科斯罗安霍姆;阿里·尼科纳夫斯;阿明·安瓦里·罗斯塔米

用于评估IT能力、数据质量、知识管理系统实施和数据安全维度的模糊AHP模型。 （英语） Zbl 1362.90242号

国际期刊运营。物件。 22，第2期，194-215（2015）.
MSC公司：90B50型 90C08型 90摄氏度70
PDF格式BibTeX公司 XML格式引用
\textit{A.A.A.Rostamy}等人，国际期刊Oper。第22号决议，第2号，194--215（2015；Zbl 1362.90242）
全文： 内政部
亚当·格拉博夫斯基;高石三井

模糊集和粗糙集形式化方法的初步比较。 （英语） Zbl 1484.68316号

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2015年6月14日至18日在波兰扎科帕内举行的ICAISC 2015第14届国际会议，会议记录。第一部分查姆：施普林格。勒克特。注释计算。科学。9119160-171（2015年）。
MSC公司：68V20型 03E72型 68层37 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{A.Grabowski}和\textit{T.Mitsuishi}，莱克特。注释计算。科学。9119、160-171（2015；Zbl 1484.68316）
全文： 内政部
Thibault Gauthier;塞萨里·卡利西克

分享HOL4和HOL防光知识。 （英语） Zbl 1471.68309号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。9450, 372-386 (2015).
MSC公司：68伏15 68V20型 68版本30
PDF格式BibTeX公司 XML格式引用
\textit{T.Gauthier}和\textit{C.Kaliszyk}，莱克特。注释计算。科学。9450372--386（2015；Zbl 1471.68309）
全文： 内政部 arXiv公司
中关村，Kazuhisa;Yasunai Shidama

专注于HTML-ized Mizar库符号的文档生成器。 （英语） Zbl 1417.68212号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。勒克特。注释计算。科学。9150, 343-347 (2015).
MSC公司：68立方英尺 68吨15 68单位35
PDF格式BibTeX公司 XML格式引用
\textit｛K.Nakasho｝和\textit｛Y.Shidama｝，Lect。注释计算。科学。9150343--347（2015；Zbl 1417.68212）
全文： 内政部 arXiv公司
丹·宋;王东明;陈晓宇

从扫描和拍摄的图表图像中发现几何定理。 （英语） Zbl 1434.68645号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日，第十届国际研讨会，ADG 2014，葡萄牙科英布拉。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9201, 149-165 (2015).
MSC公司：68伏15 68吨10 68单位05 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{D.Song}等人，Lect。注释计算。科学。9201149--165（2015年；Zbl 1434.68645）
全文： 内政部
佩德罗·夸雷斯马;努诺·贝塔

I2GATP通用格式的当前状态。 （英语） Zbl 1434.68643号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9201, 119-128 (2015).
MSC公司：68伏15 68单位05 68V20型 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}和\textit{N.Baeta}，Lect。注释计算。科学。9201119-128（2015年；Zbl 1434.68643）
全文： 内政部
詹姆·吉尔·阿卢贾（编辑）;安东尼奥·特塞尼奥·戈梅斯（编辑）;费雷尔·科马拉特（Ferrer-Comalat）、琼·卡尔斯（Joan Carles）（编辑）;何塞·梅里戈·林达尔。（编辑）;利那雷斯-穆斯塔罗斯，萨尔瓦多（编辑）

社会科学中处理不确定性的科学方法。根据2015年7月6日至8日在西班牙吉罗纳举行的SIGEF会议上的发言选出的论文。 （英语） Zbl 1323.90001号

智能系统和计算的进展377.查姆：施普林格（ISBN 978-3-319-19703-6/pbk；978-3-316-19704-3/电子书）。xvi，第444页。(2015).
MSC公司：90-06 91-06 90B50型 91B06型 68层35 68层37 68T05型 90 C90 00时25分
PDF格式BibTeX公司 XML格式引用
\textit{J.Gil-Aluja}（编辑）等人，《社会科学中处理不确定性的科学方法》。根据2015年7月6日至8日在西班牙吉罗纳举行的SIGEF会议上的发言选出的论文。查姆：施普林格（2015；Zbl 1323.90001）
全文： 内政部
伊利·科斯塔斯

通过信息系统的质量管理来管理知识。 （英语） Zbl 1339.91095号

Choban，Mitrofan（编辑）等人，2014年8月19日至23日，摩尔多瓦共和国奇什因奥乌ASM数学与计算机科学研究所成立50周年，摩尔多瓦共和国数学学会第三届会议。摘要。Chişinău：摩尔多瓦科学院，数学和计算机科学研究所（ISBN 978-9975-68-244-2/pbk）。《IMCS-50485-488会议记录》（2014）。
MSC公司：91B99型
PDF格式BibTeX公司 XML格式引用
\textit{I.Costas}，in：2014年8月19日至23日，摩尔多瓦共和国奇什讷乌市ASM数学与计算机科学研究所成立50周年，摩尔多瓦共和国数学学会第三届会议。摘要。奇什因欧：摩尔多瓦科学院数学与计算机科学研究所。485--488（2014年；Zbl 1339.91095）
Elizarov，A.M。;英国利帕切夫。;O.A.内夫佐罗娃。;索洛夫·埃夫（V.D.Solov'ev）。

电子数学文档语义结构的方法和手段。 （英语。俄文原件） Zbl 1328.68288号

多克。数学。 90，第1期，521-524（2014）; Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 457，第6期，第642-645页（2014年）。
MSC公司：68单位35 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Elizarov}等人，Dokl。数学。90，第1号，521--524（2014；Zbl 1328.68288）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 457，No.6，642--645（2014）
全文： 内政部
帕特里克·伊恩

数学知识管理软件的早期示例。 （英语） Zbl 1403.68281号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44198-5/pbk）。计算机科学课堂讲稿8592，31-35（2014）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{P.Ion}，莱克特。注释计算。科学。8592，31-35（2014；Zbl 1403.68281）
全文： 内政部
阿特姆·雷文科

规模达5的代数恒等式关联理论的自动构造。 （英语） Zbl 1444.68286号

Glodeanu、Cynthia Vera（编辑）等，《形式概念分析》。2014年6月10日至13日在罗马尼亚克鲁伊·纳波卡举行的第十二届国际会议，ICFCA 2014。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。8478, 188-202 (2014).
MSC公司：68伏15 03C05号机组 08B05号 68立方英尺 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{A.Revenko}，莱克特。注释计算。科学。8478、188--202（2014年；Zbl 1444.68286）
全文： 内政部
迈克尔·杜姆波斯（编辑）;埃文格洛斯·格里戈鲁迪斯（编辑）

多准则决策辅助和人工智能。链接、理论和应用。 （英语） Zbl 1325.91007号

新泽西州霍博肯：John Wiley&Sons（ISBN 978-1-119-97639-4/hbk；978-1-118-52251-6/电子书）。十六、351页。(2013).
MSC公司：91-06 90-06 91B06型 90B50型 68层35 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Doumpos}（编辑）和\textit{E.Grigoroudis}（主编），多准则决策辅助和人工智能。链接、理论和应用。新泽西州霍博肯：John Wiley&Sons（2013；Zbl 1325.91007）
全文： 内政部
阿诺·阿夫隆

集合论的逻辑框架。 （英语） Zbl 1458.68275号

Ronchi Della Rocca，Simona（ed.）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81，3-15（2012）。
MSC公司：68伏30 03E30年
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}，电子。程序。西奥。计算。科学。（EPTCS）81，3--15（2012；Zbl 1458.68275）
全文： arXiv公司 链接
凯文·科弗勒;阿诺德·诺伊梅尔

DynGenPar–通用数学语言的动态通用解析器。 （英语） Zbl 1360.68812号

Johan Jeuring等人，《智能计算机数学》。第11次国际会议，AISC 2012，第19次研讨会，Calculationus 2012，第5次国际研讨会，DML 2012，第11次国际会议，MKM 2012，系统和项目，作为2012年CICM的一部分，于2012年7月8日至13日在德国不来梅举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，386-401（2012）。
MSC公司：68立方英尺 2012年第68季度 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{K.Kofler}和\textit{A.Neumaier}，莱克特。注释计算。科学。7362386--401（2012；Zbl 1360.68812）
全文： 内政部 链接
君士坦丁·朱科维奇

将MKM语义服务经济高效地集成到编辑环境中。 （英语） Zbl 1359.68285号

Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，96-110（2012）。
MSC公司：68单位35 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Jucovschi}，莱克特。注释计算。科学。7362、96-110（2012年；Zbl 1359.68285）
全文： 内政部 arXiv公司
富利亚·霍罗扎尔;迈克尔·科尔哈斯;弗洛里安·拉贝

在语句级别扩展MKM格式。 （英语） Zbl 1278.68293号

Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能课堂讲稿》，65-80（2012）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{F.Horozal}等人，Lect。注释计算。科学。7362，65-80（2012年；兹bl 1278.68293）
全文： 内政部
安德烈亚·阿斯佩蒂

证明、信息和证书。 （英语） Zbl 1359.68245号

Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，17-31（2012）。
MSC公司：68时01分 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Asperti}，莱克特。注释计算。科学。7362，17-31（2012；Zbl 1359.68245）
全文： 内政部
富利亚·霍罗扎尔;阿林·艾科布;君士坦丁·朱科维奇;迈克尔·科尔哈斯;弗洛里安·拉贝

结合来源、内容、呈现、叙述和关系表示。 （英语） 兹比尔1278.68292

Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，212-227（2011）。
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Horozal}等人，Lect。注释计算。科学。6824、212--227（2011年；Zbl 1278.68292）
全文： 内政部
克莱尔·麦金纳尼。;迈克尔·柯尼格（Michael E.Koenig）。

组织中的知识管理过程。理论基础和实践。 （英语） 兹比尔1211.90004

信息概念、检索和服务综合讲座18.加州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-59829-957-1/pbk；978-1-59929-956-4/电子书）。九、84页。（2011年）。
MSC公司：90-01 90B50型 68立方英尺 91天35分
PDF格式BibTeX公司 XML格式引用
\textit{C.R.McInerney}和\textit{M.E.Koenig}，组织中的知识管理（KM）过程。理论基础和实践。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2011；Zbl 1211.90004）
全文： 内政部
迈克尔·科尔哈斯;弗洛里安·拉贝;维亚切斯拉夫·兹霍卢德夫

走向大规模的MKM：模块化表示和可扩展的软件架构。 （英语） Zbl 1278.68297号

Autexier，Serge（编辑）等人，《智能计算机数学》。第10次国际会议，AISC 2010，第17次研讨会，Calculationmus 2010，以及第9次国际会议，MKM 2010，法国巴黎，2010年7月5日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。《人工智能课堂讲稿》，370-384（2010）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，Lect。注释计算。科学。6167370-384（2010年；Zbl 1278.68297）
全文： 内政部 arXiv公司
安德烈亚·科尔哈斯;迈克尔·科尔哈斯;克里斯托夫·兰格

形式维度：软件工程中MKM的案例研究。 （英语） Zbl 1278.68295号

Autexier，Serge（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。《人工智能讲义》，355-369（2010）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Kohlhase}等人，Lect。注释计算。科学。6167355--369（2010年；Zbl 1278.68295）
全文： 内政部 arXiv公司
君士坦丁·朱科维奇;迈克尔·科尔哈斯

STEXIDE：STEX集合的集成开发环境。 （英语） Zbl 1278.68294号

Autexier，Serge（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。人工智能课堂讲稿，336-344（2010）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Jucovschi}和\textit{M.Kohlhase}，莱克特。注释计算。科学。6167336-344（2010年；兹比尔1278.68294）
全文： 内政部
Dov M.加巴伊。;罗德里格斯，奥迪纳多·T·。;亚历山德拉·拉索

修订、可接受性和背景。理论和算法方面。 （英语） Zbl 1203.03023号

认知技术柏林：施普林格出版社（ISBN 978-3-642-14158-4/hbk；978-3-64 2-14159-1/电子书）。x、 第385页。（2010年）。
审核人：David Makinson（伦敦）
MSC公司：03B42号 03B47号 03B60 68T27型 68立方英尺 03-02
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，修订、可接受性和上下文。理论和算法方面。柏林：施普林格（2010年；Zbl 1203.03023）
全文： 内政部
法鲁兹卡马雷丁;威尔斯，J.B。

用MathLang计算数学课文。 （英语） Zbl 1277.68288号

Ayala-Rincón，M.（ed.）等人，《逻辑和语义框架及其应用第二次研讨会论文集》（LSFA 2007），巴西乌罗普雷托，2007年8月28日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记205，5-30（2008）。
MSC公司：68平方英寸15 68吨15 68立方英尺 68-02
PDF格式BibTeX公司 XML格式引用
\textit{F.卡马雷丁}和\textit{J.B.威尔斯}，电子。注释Theor。计算。科学。205，5--30（2008；Zbl 1277.68288）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件