Вы здесь
Cui B.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Logic Programming and Model Checking | 1998 | Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S. | Lecture Notes in Computer Science | 13.10.1998 |