×

找到22个文档(结果1-22)

模式消除转换。 (英语) Zbl 07496642号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12561, 74-92 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

具有不确定性信息的体绘制数据。 (英语) Zbl 1002.68543号

Ebert,David(编辑)等人,《2001年数据可视化》。欧洲制图学会-IEEE TCVG可视化联合研讨会论文集。2001年5月28日至30日,瑞士阿斯科纳。维恩:施普林格。欧洲制图。243-252 (2001).
MSC公司:68单位99 68T45型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份