Victor V.Toporkov：分布式程序数据流模型的可满足性。(2001) 日记账/件/Toporkov01 10.1023/A:1012336809259 分布式程序数据流模型的可满足性。 1 维克多·V·托波尔科夫 1 238-244 程序。计算。柔和。 程序。计算。柔和。 27 5 2001 dblp记录“journals/pcs/Toporkov01”的RDF数据的来源信息 2020-09-06 T18:04:15+0200