Algebraic description for machine tool design
暂无分享,去创建一个
[1] François Villeneuve,et al. La gamme automatique en usinage. Groupe GAMA , 1990 .
[2] Joseph M. Mellichamp,et al. FMS Designer: An expert system for flexible manufacturing system design , 1990 .
[3] Kazuko Takahashi,et al. A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.
[4] Jean Patrick Tsang. Planification par combinaison de plans : application à la génération de gammes d'usinage. (Planning by combining plans : application to the design of process plans) , 1987 .
[5] Martín Abadi,et al. Temporal Logic Programming , 1989, J. Symb. Comput..