Вы здесь
Revesz P.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | The Constraint Database Approach to Software Verification | 2007 | Revesz P. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 02.03.2007 | ||
СТ | A Closed Form for DATALOG Queries with Integer Order | 1990 | Revesz P. | Lecture Notes in Computer Science | 16.03.1991 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Constraint Databases: Proc./First International Symposium, CDB 2004. Paris France,June 2004 | 2004 | Lecture Notes in Computer Science |
|
28.07.2004 |