联立递归式及其形式证明期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

联立递归式及其形式证明

引用本文：	侯文永,林凯.联立递归式及其形式证明[J].计算机应用与软件,1989,6(4):1-7.

作者姓名：	侯文永林凯

作者单位：	交通大学 (侯文永，林凯)，交通大学(陆汝占)

摘要：
关键词：	计算逻辑形式证明联立递归
本文献已被 CNKI 维普等数据库收录！