搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Rohit Parikh
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
Mathematical Sciences Research Institute Publications,1992, 引用: 23
theoretical aspects of rationality and knowledge,1990, 引用: 3
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge,1992, 引用: 0
international conference on distributed computing and internet technology,2012, 引用: 2
,2005, 引用: 8
arXiv: Logic in Computer Science,2011, 引用: 8
algebraic methodology and software technology,1995, 引用: 5
Lecture Notes in Computer Science,1987, 引用: 2
IDC,2009, 引用: 3
international symposium on distributed computing,2010, 引用: 24
