Вы здесь
Martin J. C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Typed Norms for Typed Logic Programs | 1997 | Martin J. C., King A., Soper P. | Lecture Notes in Computer Science | 12.04.1997 | |||
| СТ | On the Inference of Natural Level Mappings | 2004 | Martin J. C., King A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 31.07.2004 |