Вы здесь
Yonezaki N.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A General Object-Oriented Model for Spatial Data | 2000 | Asgari S., Yonezaki N. | Lecture Notes in Computer Science | 18.02.2000 | |||
СТ | Derivation of the Input Conditional Formula from a Reactive System Specification in Temporal Logic | 1994 | Mori R., Yonezaki N. | Lecture Notes in Computer Science | 19.10.1994 |