GTL的可靠性  

作　　者：张师超 罗晓沛 

出　　处：《高技术通讯》1995年第A01期29-31,共3页Chinese High Technology Letters

摘　　要：给出了时态分离规则和证明两个概念，并讨论了ＧＴＬ的可靠性。

关 键 词：时态知识表示 时态逻辑 可靠性 间断区间逻辑 

分 类 号：O141[理学—数学]