非表示:
出版物名:
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning – CEDAR’08
種別:
会議論文集
著者・編者:
Baader, Franz, 編集者
Ghilardi, Silvio, 編集者
Hermann, Miki, 編集者
Sattler, Ulrike, 編集者
Sofronie-Stokkermans, Viorica1, 編集者
所属:
1
Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
出版社, 出版地:
Sydney, Australia : CEDAR
ページ:
-
巻号:
-
通巻号:
-
開始・終了ページ:
47 - 62
識別子(ISBN, ISSN, DOIなど):
-