Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, proceedings /

Corporate Authors: Conference on Computability in Europe Batumi, Georgia)
Group Author: Della Vedova, Gianluca (Editor); Dundua, Besik (Editor); Lempp, Steffen, 1959- (Editor); Manea, Florin (Editor)
Published: Springer,
Publication Dates: [2023]
Call Number: O141.3-532/C748/2023