电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Bojan Baić
出 处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:15)2015
出 版 社：Technical University of Braunschweig
文 章 ID：264692223