Известия Института математики и информатики. Вып. 1
Сборник содержит статьи, навеянные одной задачей: символьное дифференцирование программ. Надо сказать, что это потребовало разработки серьезных теоретических и прикладных методов. В частности, для вывода свойств типов данных использована нильпотентная логика, для разработки программ — современная ме...
Сохранить в:
| Авторы: | , , , |
|---|---|
| Другие авторы: | |
| Тип документа: | Книга |
| Язык: | Russian |
| Год издания: |
Издательство Удмуртского университета
1996
|
| Online-ссылка: | http://eanbur.unatlib.ru/handle/123456789/5169 |
| Ключевые слова: |