Вы здесь
Wasser N.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday | 2010 | Lecture Notes in Artificial Intelligence |
|
15.02.2011 |