ALISA公司 swMATH ID: 3031 软件作者： 尤利亚·科鲁霍娃 说明： ALISA系统中Lisp程序的自动演绎综合 主页： http://www.springerlink.com/content/bwj846u33m635727/fulltext.pdf 相关软件： 孩子们;枣灰蝶属;蛤;牡蛎;Nuprl公司;伊莎贝尔 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ALISA系统中Lisp程序的自动演绎合成。 Zbl 1152.68421号尤利亚·科鲁霍娃 2006 全部的 前5名8位作者引用 2 mnesc博士，Isabela 2 都铎Jebelean 2 尤利亚·科鲁霍娃 1 马塞拉·博博伊拉。 1 瓦伦丁·加布里埃尔（Valentin Gabriel Cristea） 1 乔治·尤尔达奇。 1 波普，弗洛琳 1 科里纳斯特拉坦 2篇连载文章中引用 1 数学与人工智能年鉴 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 5 计算机科学（68-XX） 按年份列出的引文