31st EACSL Annual Conference on Computer Science Logic : CSL 2023, February 13-16, 2023, Warsaw, Poland /

Corporate Authors: EACSL Annual Conference on Computer Science Logic Warsaw, Poland); Schloss Dagstuhl, Leibniz-Zentrum für Informatik.
Group Author: Klin, Bartek (Editor); Pimentel, Elaine (Editor)
Published: Schloss Dagstuhl,
Publication Dates: 2023.
Call Number: TP301-532/C738-1/2023