Вид издания:
Статья
Год:
2023
Издательство:
ИГЭУ
ISSN/ISBN:
2072-2672
УДК:
004.4
Специализации:
Относится к ВУЗу(ам):
Каталоги:
DOI:
10.17588/2072-2672.2023.3.068-078
Место публикации:
Иваново
Ключевые слова:
системы автоматизированного проектирования, САПР, пошаговая контекстная помощь, сети Петри, язык логического программирования PROLOG, аксиомы инверсии
Вестник Ивановского государственного энергетического университета. - 2023. - Вып. 3. - С. 68-78