Вы здесь
Platzer A.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021 | 2021 | Lecture Notes in Artificial Intelligence |
|
20.08.2021 | |||
| СБ | Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015 | 2015 | Lecture Notes in Computer Science |
|
20.10.2015 |