...
机译:使用关系代数和RelView计算和可视化银行支配关系集
Institut fuer Informatik, Christian-Albrechts-Universitaet zu Kiel. Olshausenstrasse 40,24098 Kiel, Germany;
Relation algebra; Relation-algebraic specification; RelView tool; Social choice theory; Dominance relation; Banks set; Binary decision diagram;
机译:使用关系代数和RelView计算锦标赛解决方案
机译:通过关系代数和RELVIEW工具解决有限拓扑上的计算任务
机译:空间投票游戏,关系代数和RelView
机译:使用关系代数和relview计算和可视化闭合对象
机译:集合理论与计算性理论的关系:定位数字的情况下的定位数量依据
机译:米切尔·班克斯纪念讲演关于胰腺疾病的解剖学
机译:使用关系代数和RelView计算锦标赛解决方案