Никитченко, Н.С.; Тимофеев, В.Г.
(Управляющие системы и машины, 2012)
Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения ...