Вы здесь
Nogin A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | |||
| СТ | MetaPRL - A Modular Logic Environment | 2004 | Hickey J., Nogin A., Constable R. L., Aydemir B. E., Barzilay E., Beynkhov Y., Eaton R., Cranicz A., Kopylov A., Kreitz Ch., Krupski V. M., Lorigo L., Schmitt S., Witty C., Yu X. | Moscow Computer Sience School 2004 | 29.10.2004 |