Logical foundations of computer science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings /

Corporate Authors: LFCS (Symposium) Deerfield Beach, Fla.)
Group Author: Artemov, S. N.; Nerode, Anil, 1932-
Published: Springer,
Publication Dates: [2022]
Call Number: TP301.6-532/L832.2/2022