Журналы
Разделы книг
Статьи по ключевому слову logic analysis
А. Е. Городецкий - д. т. н., проф., зав. лабораторией методов и средств автоматизации Института проблем
машиноведения РАН. E-mail: g27764@yandex.ru
В. Г. Курбанов - к. ф.-м. н., ст. науч. сотр. лаборатории методов и средств автоматизации Института проблем
машиноведения РАН. E-mail: vugar_borchali@yahoo.com
И. Л. Тарасова - к. т. н., ст. науч. сотр. лаборатории методов и средств автоматизации Института проблем машиноведения РАН.
А. Ю. Кучмин - к. т. н., ст. науч. сотр. лаборатории механики управляемых систем Института проблем машиноведения РАН.
В. В. Дубаренко
к.ф.-м.н., ст. науч. сотрудник, лаборатория методов и средств автоматизации, Институт проблем машиноведения РАН
E-mail: vugar@msa2.ipme.ru; vugar_borchali@yahoo.com
В. Г. Курбанов
к.ф.-м.н,, ст. науч. сотрудник, лаборатория методов и средств автоматизации, Институт проблем машиноведения РАН
E-mail: vugar_borchali@yahoo.com