mathematical programming
程序设计逻辑性证明
programming logic proof【计】
暂无补充释义。
相关词条
dynamic programming
multi-objective programming
GNU Linear Programming Kit
variable factor programming【计】
independent modularity programming
dynamic programming
nonlinear programming