Вы здесь
Madden P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | ||
| СТ | Formal Methods for Automated Program Improvement | 1994 | Madden P. | Lecture Notes in Artificial Intelligence | 21.10.1994 |