Integration, Classification and Logical Expression of Mathematical Proofs

关键词： mathematical proofs proof methods Hilbert programme

作者: Zhang Yinsheng

作者单位: Institute of Scientific & Technical Information of China

会议类型: 国内会议

会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会

会议地点: 上海

会议语种:英文

页码: 4-4

在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）