Вы здесь

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