言語
Brucker, Achim D.
概観
| 著作: | 2 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
…で:
Brucker, Achim D.; Clark Conference ((2005 :); Julliand, Jacques.; SpringerLink (Online service)
(言語・文字資料 (印刷物))