电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Robert Atkey ;Patricia Johann ;Neil Ghani
出 处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:9)2012
出 版 社：Technical University of Braunschweig
文 章 ID：264692001
作 者：Neil Ghani ;Patricia Johann ;Clement Fumex
出 处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:12)2012
出 版 社：Technical University of Braunschweig
文 章 ID：264692002
作 者：Neil Ghani ;Patricia Johann ;Clement Fumex
出 处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:6)2013
出 版 社：Technical University of Braunschweig
文 章 ID：264692011
作 者：Patricia Johann ;Enrico Ghiorzi
出 处：Logical Methods in Computer Science. 2021 ;17(4):1-50.doi:10.46298/lmcs-17(4:23)2021
出 版 社：Technical University of Braunschweig
文 章 ID：1038046904