Об автоматизации построения итерационных программ
Название | Об автоматизации построения итерационных программ |
---|---|
Авторы | |
Ключевые слова | дедуктивный синтез программ, системы натурального типа, итерационные выводы |
Секции | |
Аннотация | |
Текст доклада | |
Форма участия | Очная |