非表示:
出版物名:
Journal of Automated Reasoning
種別:
学術雑誌
著者・編者:
所属:
出版社, 出版地:
Dordrecht, Holland : Springer
ページ:
26 p.
巻号:
57 (3)
通巻号:
-
開始・終了ページ:
219 - 244
識別子(ISBN, ISSN, DOIなど):
ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948