Вы здесь
Ko H. -P.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Substitution and Refutation Revisited | 1991 | Ko H. -P., Nadel M. E. | Logic Programming: Proc./Eight Intern. Conf. | 23.09.1994 | |||
СТ | Concurrency Control in Trusted Database Management Systems: A Survey | 1993 | Thuraisingham B., Ko H. -P. | SIGMOD Record | 16.02.1994 |