Вы здесь
Green I.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans | 1995 | Madden P., Green I. | Lecture Notes in Computer Science | Integrating Symbolic Mathematical Computation and Artificial Intelligence | 27.09.1995 |