temporal logic language

时序逻... ... ) logic of language 语言逻辑 ) temporal logic language 时序逻辑语言 ) temporal logic language 时态逻辑语言 ...

【摘要】：正 1.前言时序逻辑语言(temporal logic language)既是一种程序设计语言,也是一种时序逻辑系统。它不仅能用来编写 …

时序逻辑语... ... ) temporal logic language 时序逻辑语言 ) temporal logic language 时态逻辑语言 ) Language Logic 语言逻辑 ...