Вы здесь
Owens R.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | An Introduction to Executable Modal and Temporal Logics | 1995 | Fischer M., Owens R. | Lecture Notes in Artificial Intelligence | 31.03.1995 | |||
СТ | From the Past to the Future: Executing Temporal Logic Programs | 1992 | Fisher M., Owens R. | Lecture Notes in Artificial Intelligence | 11.08.1992 | |||
СТ | Information Systems Development Using a Combination of Process and Rule Based Approaches | 1991 | Krogstie J., Mcbrien P., Owens R., Seltveit A. | Lecture Notes in Computer Science | 22.06.1991 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Executable Modal and Temporal Logics: Proc./IJCAI 93 Workshop. Chambery, France, August 1993 | 1995 | Lecture Notes in Artificial Intelligence |
|
30.03.1995 |