言語
Demri, Stephane.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Automated reasoning[electronic resource] :7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings /
…で:
Clark Conference ((2005 :); Demri, Stephane.; Kapur, Deepak.; SpringerLink (Online service); Weidenbach, Christoph.
(言語・文字資料 (印刷物))