24小时热门版块排行榜    

查看: 458  |  回复: 2
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

Jeffery7231

金虫 (小有名气)

[交流] 【求助】求教:线性时态逻辑 已有2人参与

刚接触线性时态逻辑, 想找一本介绍全面的书来认真学一下, 请高手指点一二.
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sheyh

银虫 (著名写手)


小木虫(金币+0.5):给个红包,谢谢回帖交流
可以参看有关模态逻辑方面的书
3楼2011-01-04 16:50:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 3 个回答
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见