北京航空航天大学学报  2000, Vol. 26 Issue (4): 432-434    
  论文 本期目录 | 过刊浏览 | 高级检索 |
离散数学中与量词有关的推理规则
何自强
北京航空航天大学 计算机科学与工程系
Rules of Inference for Quantifiers in Discrete Mathematics
HE Zi-qiang
Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn