一阶逻辑模型生成器的实现
张一民, 孙吉贵
Implementation of first order logic model generation
ZHAGN Yi-min, SUN Ji-gui
吉林大学学报(理学版) . 2004, (02): 189 -194 . 

版权所有 © 《吉林大学学报(理学版)》编辑部
地址：吉林省长春市前进大街2699号　邮编：130012　电话：+86-431-88499428　E-mail: sejuj@jlu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发