Algebraic description for machine tool design

References

• ABADI , M. , and MANNA , Z. , 1989 , Temporal logic programming . Journal of Symbolic Compulation, 8 , 277 – 295 .
   Web of Science ®Google Scholar
• BESTOUGEFF , H. , and LIGOZAT , G. , 1989 , Outil logique pour le traitement du temps . (Masson 89). Collection ERI .
   Google Scholar
• DELESSERT , A. , 1988 , Introduction a la logique. ( Presse polytechnique romande ).
   Google Scholar
• FUSAOKA , A. , SEKI , H. , and TAKAHASHI , K. , 1983 , A description and reasoning of plant controllers in temporal logic . International Joint Conference on Artificial Intelligence 83 .
   Google Scholar
• GARRO , O. , and PATRICK , M. , 1990 , Approche ascendante des systemes automatises de production par modelisation fonctionnelle. 2nd congres Europeen d'analyse de la valuer , Paris CNIT, Octobre 90 , pp. 325 – 335 .
   Google Scholar
• LURPA. , 1990 Groupe GAMA. La gamme automatique en usinage , (Hermes) .
   Google Scholar
• MELLICHAMP , J. , KWON , O. J. , and WAHAB , A. , 1990 , FMS designer an expert system for FMS . International Production Research , 28 ( 11 ), 2013 – 2024 .
   Web of Science ®Google Scholar
• RUTTEN , E. , and MARCE , L. , 1989 , Temporal logic and structured plans. SCAI 89 . June 13 – 15 , Tampere , Finland .
   Google Scholar
• TSANG , P. , 1987 , Planification par combinaison de plans. Application a la generation de gammes d'usinage. These de I'institut national polytechnique de Grenoble .
   Google Scholar
• WOLPER , P. , 1985 , The tableau method for temporal logic an overview. Automated reasoning in Non-Classical Logic , 110 – 111 , 119 – 136 .
   Google Scholar