Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10--13, 2022. Proceedings

From MaRDI portal
Publication:831527