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

前件推导及其计算机实现
引用本文：吕建国.前件推导及其计算机实现[J].计算机研究与发展,1989,26(9):5-11.
作者姓名：吕建国
作者单位：南京大学计算机软件研究所
摘    要：
关 键 词：前件推导  计算机  定理证明  算法
本文献已被 CNKI 维普 等数据库收录！
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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