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