新加坡 1份文件引用(2003) 软件作者： Simóes-Marques，Mário J。；费尔南多·豪尔赫·皮雷斯 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）