言語
Kohlhase, Michael.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Kohlhase, Michael.; SpringerLink (Online service)
(コンピュータ・メディア)