Вы здесь
Van Ekelen M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Theorem Proving for Functional Programmers. SPARKLE: A Functional Theorem Prover | 2002 | De Mol M., Van Ekelen M., Plasmeijer R. | Lecture Notes in Computer Science | 18.05.2002 | |||
| СТ | Automatic Generation of Editors for Higher-Order Data Structures | 2004 | Achten P., Van Ekelen M., Plasmeier R., Van Weelden A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 21.12.2004 |