GTL的可靠性期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

GTL的可靠性

引用本文：	张师超,罗晓沛.GTL的可靠性[J].高技术通讯,1995,5(A01):29-31.

作者姓名：	张师超罗晓沛

摘要：	给出了时态分离规则和证明两个概念，并讨论了ＧＴＬ的可靠性。
关键词：	时态知识表示时态逻辑可靠性间断区间逻辑
本文献已被维普等数据库收录！