Вы здесь
Freitas A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Refinement Tool for Z | 2003 | Freitas A., Nascimento C., Cavalcanti A. | Lecture Notes in Computer Science | 09.01.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Natural Language Processing and Information Systems: Proc./20th International Conference on Applications of NL to Information Systems, NLDB 2015, Passau, Germany, June 2015 | 2015 | Lecture Notes in Computer Science |
|
22.07.2015 |