Songmao Zhang Artificial Intelligence Logic and Applications - 1st ed. 2023 - Springer 2023 - Communications in Computer and Information Science . ISBN: 9783031170813 Subjects--Topical Terms: Computer ScienceFormal Languages and Automata Theory