编辑配置文件（在新选项卡中打开） 尤利亚·科鲁霍娃 作者ID： 科鲁霍瓦语yulia 发布方式： 尤利亚·科鲁霍娃 已编制索引的文档： 2出版物自2006年起 合著者 2 单作者的 系列 1 数学与人工智能年鉴 领域 2 计算机科学（68-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用7中的次5文件 引用人▼ 年份▼ ALISA系统中Lisp程序的自动演绎合成。 兹比尔1152.68421 尤利亚·科鲁霍娃 4 2006 函数程序的自动演绎综合方法。 Zbl 1125.68030号 尤利亚·科鲁霍娃 三 2007 函数程序的自动演绎综合方法。 Zbl 1125.68030号 尤利亚·科鲁霍娃 三 2007 ALISA系统中Lisp程序的自动演绎合成。 Zbl 1152.68421号 尤利亚·科鲁霍娃 4 2006 4位作者引用 三 mnesc博士，Isabela 三 都铎Jebelean 1 尤利亚·科鲁霍娃 1 Osipov，V.Yu。 3篇连载文章中引用 1 编程和计算机软件 1 数学与人工智能年鉴 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 5 计算机科学（68-XX） 1 数值分析（65-XX） 按年份列出的引文