Вы здесь
Wadsworth C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A Metalanguage for Interactive Proof in LCF | 1977 | Gordon M., Milner R., Morris L., Newey M., Wadsworth C. | Univ.Edinburgh | 20.06.1995 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A Metalanguage for Interactive Proof in LCF | 1977 | Gordon M., Milner R., Morris L., Newey M., Wadsworth C. | Univ.Edinburgh | 20.06.1995 |