计算逻辑中的波动策略期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

计算逻辑中的波动策略

引用本文：	印鉴,张黔.计算逻辑中的波动策略[J].武汉大学学报(自然科学版),1996,42(1):55-62.

作者姓名：	印鉴张黔

摘要：
关键词：	定理机器证明波动波前繁殖计算逻辑
本文献已被维普等数据库收录！