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