紀錄類型: |
書目-語言資料,印刷品
: Monograph/item
|
正題名/作者: |
Logic, language, information, and computation/ edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz. |
其他題名: |
29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023 : proceedings / |
其他題名: |
WoLLIC 2023 |
其他作者: |
Queiroz, Ruy J. G. B. de. |
團體作者: |
Workshop on the Preservation of Stability under Discretization |
出版者: |
Cham :Springer Nature Switzerland : : 2023., |
面頁冊數: |
xxxviii, 395 p. :ill. (some col.), digital ; : 24 cm.; |
Contained By: |
Springer Nature eBook |
標題: |
Logic. - |
電子資源: |
https://doi.org/10.1007/978-3-031-39784-4 |
ISBN: |
9783031397844 |