机译:通过关系代数建模和开发计算最小扩展集
Institut fuer Informatik, Christian-Albrechts-Universitaet zu Kiel, Olshausenstrasse 40,24098 Kiel, Germany;
Social choice theory; Tournament; Minimal extending set; Relation algebra; Relation-algebraic modeling; RelView tool;
机译:计算最小模型,稳定模型和答案集
机译:开发鲁棒歧管网格建模器的最少和完整的运算符集
机译:基于最小切割集的代谢干预策略计算扩展和广义框架
机译:使用最小校正集更有效地计算最小不满意集
机译:开发用于腹腔镜和机器人微创手术的解剖学识别技能。
机译:基于最小切割集的代谢干预策略计算扩展和广义框架
机译:计算最小模型,稳定模型和答案集