Вы здесь
Tian C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A decision procedure for propositional projection tempotal logic with infinite models | 2008 | Duan Zh., Tian C., Li Zh. | Acta Informatica | 05.03.2008 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017 | 2018 | Lecture Notes in Computer Science |
|
31.05.2018 |