Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings - Konev, Boris; Reger, Giles (Springer Nature, 2021)
Keywords: Logic, Symbolic and mathematical-Congresses; Special computer methods