时序逻辑与时序逻辑程序设计 7030166515 Duan Zhenhua(段振华)著 TP.3158 科学出版社 2005-04 2005 2005 The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment flag
微信公众账号
微信扫一扫加关注
发表评论 取消回复