Richard Statman：Jacopini定理的结果：一致的等式和方程。(1999) conf/tlca/Statman99 10.1007/3-540-48959-2_25 Jacopini定理的结果：一致的等式和方程。 1 理查德·斯塔特曼 1 355-364 薄层色谱分析 薄层色谱分析 1999 1999 dblp记录“conf/tlca/Statman99”的RDF数据的来源信息 2017-05-17T14:24:41+0200