单变量微积分的截断消除
摘要
出版物: -
arXiv电子打印 发布日期: 2012年2月 内政部: -
10.48550/arXiv.1202.3501 arXiv: -
arXiv:1202.3501 书目代码: -
2012年8月12日1202.3501M 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: FICS 2012年会议记录,arXiv:1202.3174