机译:SWI-Prolog中的布尔约束:全面的系统描述
机译:产品服务系统的成本估算过程的全面描述:全面审查
机译:产品 - 服务系统成本估算过程的综合描述:综合评论
机译:设计新型远程医疗的全面护理系统:滴水和船舶加滴水,并保持在行程护理系统系统内
机译:SWI-Prolog的布尔约束求解器(系统描述)
机译:甲醇在未怀孕和怀孕的大鼠和小鼠中的毒代动力学的全面描述。
机译:细菌固氮系统生物学:高通量技术及其与基于约束的建模的集成描述
机译:伪布尔约束系统的求解和优化
机译:水资源管理:对各国综合管理体系和未来研究需求的描述。第一卷综合管理系统。第二卷。研究需求