Ferruccio Guidi：图解变量通用量化的形式系统。(2022) 期刊/tocl/Guidi22 10.1145/3470646 图解变量通用量化的形式系统。 1 费鲁西奥·吉迪 1 2:1-2:37 ACM事务处理。计算。日志。 ACM事务处理。计算。日志。 23 1 2022 dblp记录“journals/tocl/Guidi22”的RDF数据的来源信息 2022-04-09T12:32:18+0200