Автоматический синтез программ
author
statement of authorship
Э. Тыугу
source
Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Ч. 2 : тезисы докладов и сообщений, Паланга, 3-5 сент. 1980 г
location of publication
Вильнюс
publisher
year of publication
pages
с. 70-89
conference name, date
Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", 3-5 сент. 1980 г.
conference location
Паланга
TalTech department
language
vene
Тыугу, Э. Автоматический синтез программ // Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Ч. 2 : тезисы докладов и сообщений, Паланга, 3-5 сент. 1980 г. Вильнюс : Институт математики и кибернетики, 1980. с. 70-89.