Markus Roggenbach 共有 2 項 |
eBook: Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Pape
Markus Roggenbach, Springer International Publishing, 出版日期: 2021/04/10, 系列: Lecture Notes in Computer Science
|
|||
eBook: Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Pape
Markus Roggenbach, Springer International Publishing, 出版日期: 2021/04/10, 系列: Lecture Notes in Computer Science
|
|||