第39回 記号論理と情報科学 研究集会

(SLACS 2022)

2022年9月20日(火)〜21日(水)