Literature cited
V. Yu. Mikhailov, “A variety of deductive synthesis,” in: All-Union Conf. on Application of Methods of Mathematical Logic, Abstracts of Papers [in Russian], Tallin (1983), pp. 142–143.
V. Ju. Mikhailov, “A solving of problems on technological models,” Lect. Notes Comput. Sci., Vol. 278, 314–317 (1985).
B. E. Chelishchev and I. V. Bobrova, Computer-Aided Manufacturing Systems [in Russian], Énergiya, Moscow (1975).
CAD/CAM Systems for Products and Technological Processes in Machine Building [in Russian], Mashinostroenie, Leningrad (1986), pp. 79–126.
Additional information
Translated from Issledovaniya po Prikladnoi Matematike, No. 16, pp. 145–152, 1989.
Rights and permissions
About this article
Cite this article
Pshenichnyi, P.V. Deductive approach to CAD/CAM systems. J Math Sci 61, 2484–2488 (1992). https://doi.org/10.1007/BF01100588
Issue Date:
DOI: https://doi.org/10.1007/BF01100588