Вы здесь
Duan Z.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Projection in Temporal Logic Programming | 1994 | Duan Z., Kouthy M., Holt C. | Lecture Notes in Artificial Intelligence | 04.08.1994 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Structured Object-Oriented Formal Language and Method: Revised Selected Papers/5th International Workshop, SOFL+MSVL 2015, Paris, France, November 2015 | 2016 | Lecture Notes in Computer Science |
|
29.04.2016 | |||
СБ | Structured Object-Oriented Formal Language and Method: Revised Selected Papers/4th International Workshop, SOFL+MSVL 2014, Luxembourg, November 2014 | 2015 | Lecture Notes in Computer Science |
|
23.05.2015 | |||
СБ | Structured Object-Oriented Formal Language and Method: Revised Selected Papers/3rd International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 2013 | 2014 | Lecture Notes in Computer Science |
|
22.04.2014 |