1.
|
Berlin, Germany : Springer, 2017.
|
2.
|
Singapore : World Scientific, c2012.
|
3.
|
Cham : Springer, [2021] ©2021
|
4.
|
Berlin, Germany : Springer, [2019]
|
5.
|
Heidelberg : Springer, [2014]
|
6.
|
|
7.
|
Berlin, Germany : Springer, 2018.
|
8.
|
|
9.
|
|
10.
|
Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / He[...]
|