• ВХОД
  •  

    Полное описание

    Быков, С. А. Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов : автореф. дис. ... канд. техн. наук: 05.13.11 / С. А. Быков. - 2017. - 23 с. : ил. - Библиогр.: с. 23 (9 назв.). - 70 экз. - Текст : непосредственный.

    ГРНТИ УДК
    47.33.31621.3.049.771.14-047.56(043)

    Кл.слова (ненормированные): АВТОМАТИЗАЦИЯ -- ПРОЕКТИРОВАНИЕ -- СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ
    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар17-9567)

    Шифр в сводном ЭК: 31d09855ed96050da16772485cd21b19



    Заказ фрагмента документа ₽