Yixiang Chen, Songmao Zhang Artificial Intelligence Logic and Applications - Springer Springer 2022 ISBN: 9789811975103 Source: EBOOK