搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Philippe Balbiani , Andreas Herzig , Luis Fariñas del Cerro
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
ICTL '94 Proceedings of the First International Conference on Temporal Logic,1994, 引用: 100
conference on automated deduction,1988, 引用: 5
artificial intelligence: methodology, systems, applications,1990, 引用: 0
,1998, 引用: 43
Fundamenta Informaticae,2003, 引用: 21
conference on automated deduction,1988, 引用: 15
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic,1992, 引用: 5
Lecture Notes in Computer Science,2006, 引用: 0
european conference on logics in artificial intelligence,2004, 引用: 13
Handbook of Modal Logic,2007, 引用: 44
