非表示:
出版物名:
Journal of Automated Reasoning
種別:
学術雑誌
著者・編者:
Kambhampati, Subbarao1, 編集者
所属:
1
External Organizations, ou_persistent22
出版社, 出版地:
New York, NY : Springer
ページ:
-
巻号:
58 (3)
通巻号:
-
開始・終了ページ:
341 - 362
識別子(ISBN, ISSN, DOIなど):
ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948