张寅生著2009 年出版295 页ISBN:9787502363185
本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
中文dBASEⅢ全自动编程系统Auto-dBEASⅢ原理及应用
吴波,刘祖照编著1989 年出版112 页ISBN:7302004722
吴波,刘祖照编著.中文dBASEⅢ全自动编程系统Auto-dBEASⅢ原理及应用.北京:清华大学出版社
关系数据库管理系统dBASEⅢ dBASEⅢ+ FOXBASE+出错分析处理及程序设计技巧
罗伟其编著1995 年出版398 页ISBN:7306010336