机译:设置图。五,关于将图表示为隶属图
Univ Trieste, Dip Matemat & Geosci, Sez Matemat & Informat, I-34127 Trieste, Italy;
Univ Helsinki, Helsinki Inst Informat Technol HIIT, Dept Comp Sci, FI-00014 Helsinki, Finland;
Theory-based automated reasoning; proof checking; Referee a.k.a. AEtnaNova; graphs and digraphs; Mostowski's decoration;
机译:设置图。 Ⅲ。证明明珠:无爪图形镜像到传递性遗传有限集
机译:设置图表。二。集图识别的复杂性和类似问题
机译:无爪图。五,全球结构
机译:图中的点设置统治。 VIII:完美高效的PSD套装
机译:从图形表示的结构化数据中发现知识。
机译:一种新的图形方法来显示代表生物力学膝关节行为的数据集
机译:确定有向图表示的逻辑公式集中的原子命题概率的上下界
机译:一种用层次图表示程序的模型。