关于自由分配格公式的机器推导 ON THE DERIVATION OF FORMULAS OF THE FREE DISTRIBUTIVE LATTICES BY MACHINE 刘初长 Liu chuchang first-author 本文讨论了自由分配格公式的机器推导问题,并介绍了它的实现方法,此外还给出了一些由机器推导出来的新结果。 In this paper the problem about the derivation of formulas of the free distributive lattices by machine is discussed and the methods to implemeht it are described. In addition some new results which are provided by machine are given. 中国科学院科学基金 1985-03-01 2021-04-01 3