Вы здесь
Mackworth A. K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Specification and Verification of Constraint-Based Dynamic Systems | 1994 | Zhang Y., Mackworth A. K. | Lecture Notes in Computer Science | 22.12.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Constraint-Based Reasoning | 1994 |
|
23.09.2013 |