中介逻辑程序设计语言MILL及其解释系统

来源 :全国程序设计语言发展与教学学术会议 | 被引量 : 0次 | 上传用户:woshizhuwoshizhu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
会议
会议
1938年,23岁的彭桓武考取中英庚款留学资格,就读于英国爱丁堡大学,师从德国理论物理学家、量子力学奠基人之一马克斯·玻恩;1941年,玻恩推荐彭桓武前往爱尔兰都柏林高等研究