停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2003年第二届MKM：意大利贝蒂诺罗

>主页 >会议和研讨会 >MKM公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2003
安德烈亚·阿斯佩蒂,布鲁诺·巴赫伯格,詹姆斯·达文波特:
数学知识管理，第二届国际会议，MKM 2003，意大利贝蒂诺罗，2003年2月16-18日，会议记录。计算机科学课堂讲稿2594,施普林格 2003，十亿3-540-00568-4

定期捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/亚当斯03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Adams03
安德鲁·亚当斯:
数字化、表示和形式化。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/达文波特03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/达文波特03
詹姆斯·达文波特:
MKM从书本到计算机：案例研究。 17-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Ceon03号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Coen03网址
克劳迪奥·萨塞尔多蒂·科恩:
从证明助手到分布式数学图书馆：技巧和陷阱。 30-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/BorweinS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/BorweinS03网站
乔纳森·博文,特里·斯坦威:
管理数字数学语篇。 45-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/卡莱尔D03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/CarlisleD03
大卫·卡莱尔,迈克·杜瓦:
NAG图书馆文件。 56-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Padovani03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Padovani03网址
卢卡·帕多瓦尼:
论L的作用^A类T型_E类编码和处理数学表达式中的X和MathML。 66-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/GoguadzeMUC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/GoguadzeMUC03网站
乔治·戈瓜泽,艾丽卡·梅利斯,卡斯滕·乌尔里奇,保罗·A·凯恩斯:
数学例题和习题加分的问题及解决方法。 80-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/BabaS03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/BabaS03网站
Yusuke爸爸,铃木Masakazu Suzuki:
一个注释语料库和一个定理描述的语法模型。 93-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/GuidiS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/GuidiS03
费鲁西奥·吉迪,艾琳·谢纳:
数学资源元数据框架的查询语言。 105-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/BancerekR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/BancerekR03
格拉泽戈兹·班塞雷克,彼得罗·鲁德尼基:
MML中的信息检索。 119-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/HeumesserSG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/HeumesserSG03
Bernd D.Heumesser公司,迪特马尔·塞佩尔,乌尔里希·根策:
PROLOG-E环境中基于XML的数学知识的灵活处理专家系统。 133-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KohlhaseA03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KohlhaseA03
迈克尔·科尔哈斯,罗密欧·安赫拉切:
面向结构化数学知识的协作内容管理和版本控制。 147-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/RudnickiT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/RudnickiT03
彼得罗·鲁德尼基,安德烈·特雷布利克:
形式化数学知识库的完整性。 162-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CairnsG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CairnsG03
保罗·A·凯恩斯,杰里米·高:
层次证明的理论分析。 175-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Wiedijk03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Wiedijk03网址
弗里克·维迪克:
比较数学谚语。 188-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/城市03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Urban03网址
约瑟夫·乌尔班:
为一阶定理证明者翻译Mizar。 203-215

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Marchiori03会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Marchiori03网址
马西莫·马尔奇奥里:
数学语义网。 216-224

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。