Date: Tuesday, November 3rd 2024 – 13h00
Place: A008
Title: SC-TPTP : étendre le format TPTP pour les preuves basées sur les séquents
Date: Tuesday, November 3rd 2024 – 13h00
Place: A008
Title: SC-TPTP : étendre le format TPTP pour les preuves basées sur les séquents