CRSX公司 引用于3份文件(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）