...
Kobe Univ, Kobe, Hyogo, Japan;
Univ Potsdam, Potsdam, Germany;
Univ Potsdam, Potsdam, Germany;
Univ Potsdam, Potsdam, Germany|INRIA Rennes, Rennes, France|Simon Fraser Univ, Burnaby, BC, Canada|Griffith Univ, Nathan, Qld, Australia;
Constraint Answer Set Programming (CASP); Answer Set Programming (ASP); Sat Modulo Theories (SMT); Constraint Programming (CP);
机译:ASP模块化CSP:clingcon系统
机译:ASP模块化CSP:clingcon系统
机译:甲状旁腺癌患者的第三代/第二代PTH比率高:原发性甲状旁腺功能亢进症患者的第三代/第二代PTH比率的临床应用。
机译:ASP Modulo CSP:Clingcon系统
机译:工作场所中的X世代和Y世代:比较X世代和Y世代工作价值的研究。
机译:瞳孔扩张对Barret Universal II(新一代)HAIGIS(第4代)和SRK / T(第3代)眼内晶状体计算公式的影响:回顾性研究
机译:Clingcon:下一代