自动化定理证明的发展与现状期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

自动化定理证明的发展与现状

引用本文：	何运,陈进才.自动化定理证明的发展与现状[J].西安公路学院学报,1989,7(2):16-30.

作者姓名：	何运陈进才

摘要：
关键词：	人工智能自动化定理证明
本文献已被维普等数据库收录！