Автоматический синтез программ

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