Browsing Datorzinātne. Informācijas tehnoloģijas by Subject "Автоматический синтез программ"
Now showing items 1-1 of 1
-
Теоретические вопросы программирования
(Латвийский государственный университет, 1988)Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.