非表示:
出版物名:
Automated Deduction - CADE-24
省略形
:
CADE 2014
副タイトル
:
24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
種別:
会議論文集
著者・編者:
Bonacina, Maria Paola1, 編集者
所属:
1
External Organizations, ou_persistent22
出版社, 出版地:
Berlin : Springer
ページ:
-
巻号:
7898
通巻号:
-
開始・終了ページ:
109 - 125
識別子(ISBN, ISSN, DOIなど):
ISBN: 978-3-642-38573-5