首页 | 本学科首页   官方微博 | 高级检索  
     

线性辑导论
引用本文:黄林鹏,孙永强.线性辑导论[J].计算机科学,1991,18(1):15-19.
作者姓名:黄林鹏  孙永强
作者单位:不详 不详
摘    要:

关 键 词:线性逻辑  数理逻辑
本文献已被 维普 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号