标题 | 机器翻译与类型理论 |
出版物类型 | 书籍章节 |
出版年份 | 2012 |
作者 | 兰塔,A |
编辑器 | 戴比杰,P,东巴尔姆格伦,林德斯特伦,桑霍姆,G |
书籍标题 | 认识论与本体论。佩尔·马丁·洛夫关于数学哲学和基础的论文 |
系列标题 | 逻辑、认识论与科学的统一 |
体积 | 27 |
寻呼 | 281-311 |
发布日期 | 2012 |
出版商 | Springer Verlag公司 |
ISBN编号 | 国际标准图书编号:978-94-007-4434-9(印刷版)978-94-07-4435-6(在线) |
关键词 | 中间语 |
统一资源定位地址 | http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14 |
推荐人名称 | 推荐 |