×

兹马思-数学第一资源

智能计算机数学。2014年国际会议,CICM 2014,葡萄牙科英布拉,2014年7月7日至11日。诉讼程序。(英语) Zbl 1293.68035
计算机科学讲义8543人工智能课堂讲稿。柏林:斯普林格出版社(ISBN 978-3-319-08433-6/pbk)。xx,458页。(2014年)。

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

本卷的文章将单独审查。上一次会议见[Zbl 1268.68008].
索引文章:
韦斯坦,埃里克,Mathematica和Wolfram\(| \)Alpha中的可计算数据、数学和数字图书馆,26-29[Zbl 1304.68202号]
艾哈迈德,瓦卡尔;哈桑,奥斯曼;塔哈尔,索菲涅;哈姆迪,穆罕默德·萨拉赫,油气管道的形式可靠性分析,30-44[Zbl 1304.68151号]
英格兰,马修;布拉德福德,拉塞尔;陈昌波;达文波特,詹姆斯H。;马扎,马克·莫雷诺;威尔逊,大卫,真值表不变柱形代数分解的增量三角分解问题列式,45-60[Zbl 1304.68223]
塞尔纳,大卫,基于tableaux的多参数命题图式决策程序,61-75[Zbl 1304.03044号]
鱼,安德鲁;莉莎,阿列克谢,通过等式推理检测未知项。一: 勘探,76-91[Zbl 1304.68153]
黄宗炎;英格兰,马修;威尔逊,大卫;达文波特,詹姆斯H。;保尔森,劳伦斯·C。;布里奇,詹姆斯,将机器学习应用于选择启发式方法选择圆柱代数分解的变量排序问题,92-107[Zbl 1304.68224]
美国农业部约翰逊;罗森,丹;小骨头,尼古拉斯;克莱森,科恩,Hipster:在证明助手中整合理论探索,108-122[Zbl 1304.68157号]
阿夫沙尔,萨纳兹·汗;阿拉万提诺斯,文森特;哈桑,奥斯曼;塔哈尔,索菲涅,高阶逻辑中复向量的形式化,123-137[Zbl 1304.68150号]
韦格纳,伯恩德;辛德勒,西格拉姆,为发明建模的数学结构,138-152[Zbl 1304.68201号]
科哈塞,安德里亚,数学家搜索界面,153-168[Zbl 1304.68198]
科哈塞,迈克尔,语义、多语言数学术语的数据模型和编码,169-183[Zbl 1304.68173]
摩尔,罗斯,PDF/A-3u作为无障碍数学档案格式,184-199[Zbl 1304.68174]
明渠Ngheim;克里斯提安托,乔瓦尼·洋子;托皮奇,戈兰;Aizawa,秋子,哪一个更好:基于表示的还是基于内容的数学搜索[Zbl 1304.68039号]
舍内伯格,乌尔夫;斯珀伯,沃尔夫拉姆词性标注及其在数学中的应用。数学文本分析,213-223[Zbl 1304.68180号]
舒博茨,莫里茨;威克,加布里埃尔,mathod:Wikipedia的健壮、可伸缩、快速且可访问的数学呈现,224-235[Zbl 1304.68200]
卡米纳蒂,马可·B。;克伯,曼弗雷德;兰格,克里斯托夫;罗瓦特,科林,集合论或更高阶逻辑来代表拍卖概念,载于《伊莎贝尔?》,236-251[Zbl 1304.68152号]
卡莱特,雅克;农民,威廉M。;科哈塞,迈克尔《领域:巩固数学理论知识的结构》,252-266[Zbl 1304.68169]
高蒂埃,蒂堡;卡利斯齐克,塞扎里,与HOL库中的概念匹配,267-281[Zbl 1304.68154]
格拉斯登,托马斯;沃尔金肖,尼尔;Raman,Rajeev,从proof corpora挖掘基于状态的模型,282-297[Zbl 1304.68155]
哈拉兰伯斯,雅尼斯人;夸雷斯马,佩德罗,使用受控语言查询几何图形,本体图和依赖格,298-311[Zbl 1304.68170号]
霍洛扎尔,富尔雅;拉贝,弗洛里安;科哈塞,迈克尔形式化数学,312-327[Zbl 1304.68171]
赫尔,拉尔斯,Isabelle中的交互式简化程序跟踪和调试,328-343[Zbl 1304.68156号]
康斯坦丁朱科夫斯基,将MKM服务集成到最终用户应用程序中,344-356[Zbl 1304.68197号]
卡利斯齐克,塞扎里;拉贝,弗洛里安,迈向知识管理为霍尔轻,357-372[Zbl 1304.68158]
Pąk,卡罗尔,自动改进Mizar系统中的校对易读性,373-387[Zbl 1304.68160号]
斯托亚诺维奇,萨那;纳布克斯,朱利安;贝塞姆,马克;贾尼契奇,普雷特拉格,连贯逻辑的白话文,388-403[Zbl 1304.68163号]
张群;优素福,阿布杜,数学相似性搜索方法,404-418[Zbl 1304.68040]
考尔,霍华德S。;麦克莱恩,马乔里A。;桑德斯,博尼塔五世。;舒博茨,莫里茨;威廉姆斯,珍妮尔·C。,数学公式数字存储库,419-422[Zbl 1304.68194]
吉涅夫、德扬;科内利,约瑟夫,Nexus重新装载,423-426[Zbl 1304.68195]
安库,米娜;朱科夫斯基,康斯坦丁;科哈塞,迈克尔;威辛,汤姆,系统说明:MathHub.info,431-434[Zbl 1304.68196]
卡利斯齐克,塞扎里;城市,约瑟夫;维斯科伊尔,吉ří;Geuvers,赫尔曼发展基于语料库的非正式和正式数学之间的翻译方法:项目描述,435-439[Zbl 1304.68172号]
科哈塞、卢卡斯;科哈塞,迈克尔,系统描述:语义感知的LaTeX到office转换器,440-443[Zbl 1304.68193]
Líka,马丁;索伊卡,彼得;米加尔Růïička,数学索引器和搜索器web界面。实现数学家的信息需求,444-448[Zbl 1304.68199]
诺莫维奇,亚当,SAT增强型后视镜检查,449-452[Zbl 1304.68159]
乌麦尔锡迪克;塔哈尔,索菲涅,几何光学形式推理框架,453-456[Zbl 1304.68162]

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