作 者:Kazuyuki NARISAWA ;Takashi KATSURA ;Hiroyuki OTA 等
出 处:Interdisciplinary Information Sciences. 2015 ;21(1):37-47.doi:10.4036/iis.2015.37
出 版 社:The Editorial Committee of the Interdisciplinary Information Sciences
文 章 ID:108492431
作 者:Akitoshi Kawamura ;Hiroyuki Ota ;Carsten Rösnick 等
出 处:Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:6)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692205