Two approaches to Program Synthesis or Implementation of Partially Defined Theories

Авторы: 
Malyshkin V.
Тип публикации: 
Публикации в материалах научных мероприятий
Вхождение в реферативные базы данных: 
Scopus
WoS
Год выхода: 
2012
Выходные данные: 
Malyshkin V. Two approaches to Program Synthesis or Implementation of Partially Defined Theories // Proc. of the 11th Intern. Conf. on New Trends in Software Methodologies, Tools and Techniques. Genoa, Italy, Sept. 26-28. Frontiers in Artificial Intelligence and Applications, Vol. 246, IOS Press, 2012. P. 285-291. DOI: 10.3233/978-1-61499-125-0-285
Сотрудник ИВМиМГ: 
Малышкин Виктор Эммануилович