Subject: Computational Logic Seminar
Description:
Primarily intended for the announcement of talks in the seminar of the Computational Logic group of the Institute of Discrete Mathematics and Geometry.Subject: Computational Logic Seminar
Description:
Primarily intended for the announcement of talks in the seminar of the Computational Logic group of the Institute of Discrete Mathematics and Geometry.