×

找到68个文档（结果1-68）

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

四元数积分变换。机器生成的文献综述。 （英语） 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）
全文： 内政部
Elizarov，A.M。;A.V.基里洛维奇。;英国利帕切夫。;O.A.内夫佐罗娃。

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

多克。数学。 106，第3期，429-435（2022）；Dokl翻译。罗斯。阿卡德。Nauk，Mat.通知。Protsessy升级。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翻译。罗斯。阿卡德。Nauk，Mat.通知。Protsessy升级。507, 29--35 (2022)
全文： 内政部
维科瓦努，德拉戈什·伊努;杰曼，Oana;巴科斯群岛，卡里纳;马吕斯·普列里普塞努

基于区块链技术的医疗器械管理系统。 （英语） Zbl 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数学库的新导出。 （英语） Zbl 1485.68294号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833205-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 第68页第27页 68伏30
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12524，201-213（2021；Zbl 1474.68342）
全文： 内政部 链接
Mila，Runnerth;马库斯·斯托克;索伦·奥尔

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

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

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

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 290-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。注释计算。科学。12236251-267（2020年；兹比尔1455.68262）
全文： 内政部 arXiv公司
莫里茨·舒博茨;菲利普·沙尔普夫;奥拉夫·特施克;安德烈亚斯·库内蒙德;科琳娜·布雷廷格;吉普，贝拉

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

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 237-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：在严肃游戏中从游戏设计中分离知识管理。 （英语） Zbl 1455.68266号

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

OntoMath\（^\mathit｛Edu｝\）：一种基于语言的教育数学本体论。 （英语） 兹比尔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）
全文： 内政部
塞萨里·卡利西克;弗洛里安·拉贝

数学形式化语言调查。 （英语） Zbl 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}，莱克特。注释计算。科学。12236138-156（2020年；兹比尔1455.68257）
全文： 内政部 arXiv公司
雅克·卡雷特;法默，威廉·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（编辑）Fiadeiro等人，代数开发技术的最新趋势。第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日在捷克共和国布拉格举行的第十二届国际会议，CICM 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中绘制组合符。 （英语） 兹比尔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：连接面向内容和叙事的文档格式。 （英语） 兹比尔1428.68351

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

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

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。116171-186（2019年）。
MSC公司：68伏15 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}等人，Lect。注释计算。科学。11617、171--186（2019；Zbl 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（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 209-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，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900575-590（2018年）。
MSC公司：68伏30 68号30
PDF格式BibTeX公司 XML格式引用
\文本{D.Müller}等人，Lect。注释计算。科学。10900，575--590（2018年；Zbl 1511.68340）
全文： 内政部
汤姆·威辛;迈克尔·科尔哈斯;弗洛里安·拉贝

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

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

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

Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日，奥地利维也纳，第七届国际会议，MACIS 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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日，第八届国际会议，ITP 2017，巴西巴西利亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 319-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日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725451-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}，莱克特。注释计算。科学。9725、443--446（2016年；Zbl 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）
全文： 内政部
沃尔夫拉姆·斯珀伯

数学研究数据和信息服务。 （英语） Zbl 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）
全文： 内政部
托马斯·科普鲁奇;卡斯滕·塔布洛

数学模型：研究数据类别？ （英语） Zbl 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}，莱克特。注释计算。科学。9582040-420（2016年；兹比尔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年；兹比尔1460.68129）
全文： 内政部
亚当·格拉博夫斯基;高石三井

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

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2015年6月14日至18日在波兰扎科帕内举行的ICAISC 2015第14届国际会议，会议记录。第一部分查姆：施普林格。莱克特。注释计算。科学。9119, 160-171 (2015).
MSC公司：68V20型 03E72型 68层37 68伏30
PDF格式BibTeX公司 XML格式引用
\textit｛A.Grabowski｝和\textit｛T.Mitsuishi｝，Lect。注释计算。科学。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公司
丹·宋;王东明;陈晓宇

从扫描和拍摄的图表图像中发现几何定理。 （英语） 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）
全文： 内政部
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）
全文： 内政部
阿尔特姆·雷文科

规模达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}，莱克特。注释计算。科学。8478188-202（2014年；兹比尔1444.68286）
全文： 内政部
阿诺·阿夫隆

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

Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，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公司 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件