机译:带补全的关系公式的图形表示
Dipartimento di Matematica e Informatica, Universita di Catania, Viale Andrea Doria 6, 95125 Catania, Italy;
Dipartimento di Matematica e Informatica, Universita di Perugia, Via Vanvitelli 1, 06123 Perugia, Italy;
Dipartimento di Matematica e Informatica, Universita di Catania, Viale Andrea Doria 6, 95125 Catania, Italy;
Dipartimento di Matematica e Informatica, Universita di Trieste, Via Valerio 12/1, 34127 Trieste, Italy;
algebra of binary relations; quantifier elimination; graph transformation;
机译:QT率校正公式的图形表示:一种有助于使用给定公式并直观比较不同公式影响的辅助工具
机译:图形表示和概念图的关系,结构和语义分析
机译:平针织结构图形表示的研究第一部分:平针织结构图形表示的针迹模型
机译:目标:用于操纵Büchi自动机和时间公式的图形工具
机译:通过真实,密集的数据收集和图形表示曝光,提高高中科学教室的图形读写能力
机译:图形关系表示技术在医疗保健中的应用网站:以SARS网站信息查询和表示举个例子
机译:协变量-反变量模态公式的图形表示
机译:W(sub 1+(infinity))代数的拟线性表示的性质和行列式