Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings - Baroni, Pietro; Benzmüller, Christoph; Wáng, Yὶ N (Springer Nature, 2021)
Keywords: Logic, Symbolic and mathematical-Congresses; Special computer methods