×

兹马思-数学第一资源

智能计算机数学。2015年国际会议,2015年国际会议,华盛顿特区,美国,2015年7月13-17日,会议记录。(英语) Zbl 1316.68015
计算机科学讲义9150人工智能课堂讲稿。查姆:斯普林格(ISBN 978-3-319-20614-1/pbk;978-3-319-20615-8/电子书)。二十一,359页。(2015年)。

将索引文章显示为搜索结果。

本卷的文章将单独审查。上一次会议见[Zbl 1293.68035].
索引文章:
布兰切特,贾斯敏·克里斯蒂安;哈斯贝克,马克西米利安;但以理,马提丘;尼普科,托比亚斯,挖掘正式证据的档案,3-17[Zbl 1417.68176号]
扎尼比,理查德;奥拉克维,阿维勒米《大众数学搜索:多模式搜索界面和基于外观的检索》,18-36[Zbl 1417.68274号]
艾哈迈德,瓦卡尔;哈桑,奥斯曼用形式分析法证明了错误树[Zbl 1417.68174]
克鲁兹·菲利佩,鲁伊斯;施耐德·坎普,彼得,为大型计算机生成的证据优化认证证明检查器,55-70[Zbl 1417.68180号]
科特尔尼科夫,叶夫根尼;科瓦茨,劳拉;沃龙科夫,安德烈,一阶定理证明中的一类布尔排序及TPTP,71-86[Zbl 1417.68187]
奥布亚,史蒂文;弗莱里奥,雅克;斯科特,菲尔;阿斯皮纳尔,大卫,ZFH的类型推断,87-101[Zbl 1417.68191]
拉贝,弗洛里安,通用文字,102-117[Zbl 1417.68216号]
塔鲁,保罗,用压缩的de Bruijn指数对lambda项进行排序/取消排序,118-133[Zbl 1417.68028]
安库,米娜;科哈塞,迈克尔,数学知识传播与聚合的弹性形式模型,137-152[Zbl 1417.68207]
奥特西耶,谢尔盖;赫特,迪特,大理论中的结构形成,155-170[Zbl 1417.68200]
霍洛扎尔,富尔雅;拉贝,弗洛里安,交换语言的形式逻辑定义,171-186[Zbl 1417.68206]
安库,米娜;科哈塞,迈克尔,通过诱导材料进行数学知识管理,187-202[Zbl 1417.68208]
米勒,布鲁斯R。《并行标记策略》,203-210[Zbl 1417.68209]
Pąk,卡罗尔,欧拉配分定理在米扎尔的可读形式化,211-226[Zbl 1417.68214]
拉吉,丹尼尔;邦迪,艾伦;格罗夫,古德蒙德;豌豆,艾莉森,离散数学中证明的自动转换,227-242[Zbl 1409.68260]
张群;优素福,阿布杜数学相似性搜索的性能评估和优化,243-257[Zbl 1417.68275]
班切雷克,格尔泽戈尔茨;比林斯基,捷克;格拉博夫斯基,亚当;科尼奥维茨,阿图尔;马图斯泽夫斯基,罗马人;诺莫维奇,亚当;Pąk,卡罗尔;城市,约瑟夫,米扎尔:最先进和更先进的,261-279[Zbl 1417.68201号]
考尔,霍华德S。;舒博茨,莫里茨;麦克莱恩,马乔里A。;桑德斯,博尼塔五世。;邹雪莉。;穆罕默德,阿泽姆S。;达诺夫,亚历克斯A。,用通用的数学公式数字存储库ATE来源,280-287[Zbl 1417.68204]
卡利斯齐克,塞扎里;城市,约瑟夫;西迪玛克岛;汗阿夫沙尔,萨那斯;科维坦邓切夫;塔哈尔,索菲涅,形式化物理:自动化,演示和基础问题,288-295[Zbl 1417.68186]
吉迪,费鲁乔;Sacerdoti Coen,克劳迪奥数学知识检索调查,296-315[Zbl 1417.68038]
乌麦尔锡迪克;哈桑,奥斯曼;塔哈尔,索菲涅《高阶逻辑中分数阶微积分的形式化》,316-324[Zbl 1417.68194]
威斯尼夫斯基,麦克斯;斯蒂芬,亚历山大;克里斯托夫,本斯穆勒,豹子–用于实现高阶推理机的通用平台,325-330[Zbl 1417.68196]
克莱森,科恩;美国农业部约翰逊;罗森,丹;小骨头,尼古拉斯,提示:大量的归纳问题,333-337[Zbl 1417.68179]
摩尔,罗斯,通过“工具提示”丰富数学语义,338-342[Zbl 1417.68210]
中尾草,和须贺;Shidama,Yasunari,文档生成器专注于HTML化Mizar库的符号,343-347[Zbl 1417.68212]
诺莫维奇,亚当,MML环境分析工具,348-352[Zbl 1417.68213]
塞迪基,Ons;科维坦邓切夫;汗阿夫沙尔,萨那斯;塔哈尔,索菲涅,在HOL Light中启用符号和数值计算,353-358[Zbl 1417.68193]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68Txx型 人工智能
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部