Вы здесь
Bryukhov Ye.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent | 2004 | Bryukhov Ye., Kopylov A., Krupski V., Nogin A. | Moscow Computer Sience School 2004 | 29.10.2004 |