Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings: 14156 (Lecture Notes in Computer Science, 14156)2024-10-19数学、统计
Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)2024-10-19数学、统计
Operator Theory And Analysis Of Infinite Networks: Theory and Applications: 7 (Contemporary Mathematics And Its Applications: Monographs, Expositions And Lecture Notes)2024-10-19数学、统计