Автоматический синтез программ
autor
vastutusandmed
Э. Тыугу
allikas
Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Ч. 2 : тезисы докладов и сообщений, Паланга, 3-5 сент. 1980 г
ilmumiskoht
Вильнюс
kirjastus/väljaandja
ilmumisaasta
leheküljed
с. 70-89
konverentsi nimetus, aeg
Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование", 3-5 сент. 1980 г.
konverentsi toimumispaik
Паланга
TTÜ struktuuriüksus
keel
vene
Тыугу, Э. Автоматический синтез программ // Всесоюзная конференция "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование". Ч. 2 : тезисы докладов и сообщений, Паланга, 3-5 сент. 1980 г. Вильнюс : Институт математики и кибернетики, 1980. с. 70-89.