The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

書誌詳細
主要な著者: Eiter, T, Gottlob, G
フォーマット: Conference item
出版事項: 1993

類似資料