Institute of Informatics Systems of the Russian Academy of Sciences pr.ak. Lavrentieva, 6 Novosibirsk, Russia, 630090;
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:用3-羟基丙酸的两种络合溶剂化模型对有机酸反应提取的机械建模与平衡预测
机译:蛋白质热力学和动力学协同性的溶剂化作用和驱动力:以本机为中心的拓扑建模是否足够?
机译:合作求解器SIBCALC在复杂问题的建模中使用
机译:合作-合作与合作-竞争目标结构的比较及其对小组解决问题的表现和学生对其学习环境的态度的影响
机译:合作繁殖灵长类动物(Saguinus oedipus)中的合作问题解决
机译:学习模型问题解决类型搜索的有效性求解创建和共享(SSCS)和合作问题解决(CPS)的学习成就的能力方面