编辑配置文件(在新选项卡中打开) Niemelä,Ilkka N.F。 合著者距离 作者ID: 尼梅拉·伊尔卡(niemela.ilkka-n-f) 发布日期: 伊尔卡·尼梅尔;Niemelä,Ilkka N.F。;尼梅莱,I。 更多。。。较少的 已编制索引的文档: 57出版物自1988年以来,包括1本书 3作为编辑的贡献 合著者: 36位合著者具有47联合出版物 787合著作者 全部的 前5名合著者 13 单作者的 13 汤米·詹胡宁 12 汤米·A·琼蒂拉。 6 凯乔·赫尔扬科 6 马蒂·Järvisalo 5 安蒂·E·J·海瓦·里宁。 4 帕特里克·西蒙斯 三 泰罗·莱廷 三 V.Wiktor马雷克 三 尤西·林塔南 三 特鲁什琴斯基,米洛斯奥 2 尤尔根·迪克斯 2 乌尔里希·富巴赫 2 埃米利亚·奥伊卡里宁 2 蒂莫·索尼宁 2 托米·西尔贾宁 2 你,嘉慧 1 彼得·鲍姆加特纳 1 乔里·博曼森 1 斯特凡·布拉斯 1 格哈德·布鲁卡 1 维罗妮卡·达尔 1 兰迪·戈贝尔(Randy G.Goebel)。 1 哈里·哈帕德 1 托尼·尤西拉 1 佩特里·卡斯基 1 米萨Keinänen 1 罗兰·金德曼 1 马丁·兰格 1 弗拉基米尔·利夫希茨 1 刘国华 1 Johannes Oetsch 1 Przymusinski,Teodor C。 1 约格·普勒 1 迪特马尔·塞佩尔(Dietmar A.Seipel)。 1 马克·塞瓦列夫 1 汉斯·托姆皮茨 全部的 前5名系列 三 数学与人工智能年鉴 三 计算机科学课堂讲稿 2 人工智能 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 可满足性、布尔建模与计算杂志 1 计算机与系统科学杂志 1 理论计算机科学 1 算法杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 自动推理杂志 1 应用非经典逻辑杂志 1 计算机基础理论 1 赫尔辛基理工大学数字系统实验室。系列A:研究报告 字段 57 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 三 信息与通信理论、电路(94-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 52出版物有被引用642中的次445文件 引用人▼ 年份▼ 具有稳定模型语义的逻辑程序作为约束编程范式。 Zbl 0940.68018号 伊尔卡·尼梅尔 166 1999 扩展和实现稳定的模型语义。 Zbl 0995.68021号 帕特里克·西蒙斯;伊尔卡·尼梅尔;蒂莫·索尼宁 157 2002 在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号 汤米·詹胡宁;伊尔卡·尼梅尔;迪特马尔·塞佩尔;帕特里克·西蒙斯;你,嘉慧 26 2006 超级舞台。 Zbl 1427.03031号 彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡·尼梅尔 24 1996 作为可满足性的计划:计划搜索的并行计划和算法。 Zbl 1131.68099号 尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔 22 2006 使用基数和权重约束扩展Smodels系统。 Zbl 0979.68015号 伊尔卡·尼梅尔;帕特里克·西蒙斯 21 2000 权重约束规则的稳定模型语义。 Zbl 0952.68029号 伊尔卡·尼梅尔;帕特里克·西蒙斯;蒂莫·索尼宁 20 1999 Smodels系统。 Zbl 1010.68797号 托米·西尔贾宁;伊尔卡·尼梅尔 19 2001 具有单调抽象约束原子的逻辑程序。 Zbl 1142.68018号 维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 14 2008 用于最小模型推理的表格演算。 兹比尔1412.68247 伊尔卡·尼梅尔 12 1996 非析取答案集程序到命题子句的紧凑翻译。 Zbl 1326.68058号 汤米·詹胡宁;伊尔卡·尼梅尔 12 2011 用稳定模型检验有界LTL模型。 Zbl 1079.68058号 凯乔·赫尔扬科;伊尔卡·尼梅尔 11 2003 通过差分逻辑约简计算稳定模型。 兹比尔1258.68030 汤米·詹胡宁;伊尔卡·尼梅尔;马克·塞瓦列夫 10 2009 稳定模型和差异逻辑。 Zbl 1165.68338号 伊尔卡·尼梅尔 9 2008 基于SMT的定时系统归纳方法。 兹比尔1374.68293 罗兰·金德曼;汤米·琼蒂拉;伊尔卡·尼梅尔 9 2012 非单调推理:面向高效计算和实现。 Zbl 0991.03036号 尤尔根·迪克斯;乌尔里希·富巴赫;伊尔卡·尼梅尔 8 2001 经典规划的并行编码作为可满足性。 Zbl 1111.68660号 尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔 7 2004 布尔电路表方法中的无限制切割与限制切割。 Zbl 1086.03048号 马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 7 2005 自认知逻辑的决策过程。 Zbl 0658.03009号 伊尔卡·尼梅尔 6 1988 走向自动认知推理。 Zbl 0789.68130号 伊尔卡·尼梅尔 5 1991 将子句学习纳入基于网格的随机SAT求解中。 Zbl 1190.68055号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 5 2009 通过降低SAT来解决平价游戏。 Zbl 1279.68211号 凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 4 2012 GNT–析取逻辑程序的求解器。 Zbl 1122.68372号 汤米·詹胡宁;伊尔卡·尼梅尔 4 2004 关于静态语义和析取语义的等价性及其计算。 Zbl 0973.68132号 黄铜,S。;J.迪克斯。;尼美拉,I。;Przymusinski,T.C。 4 2001 为分布式解决划分SAT实例。 Zbl 1306.68146号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 4 2010 建构性的紧密扎根的自认知推理。 Zbl 0747.68087号 Niemelä,Ilkka N.F。 4 1991 关于自认知推理的可判定性和复杂性。 Zbl 0769.68111号 Niemelä,Ilkka N.F。 4 1992 具有单调基数原子的逻辑程序。 Zbl 1122.68380号 维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 三 2004 结构分支对小句学习SAT解题效率的影响:一项实验研究。 Zbl 1162.68655号 马蒂·Järvisalo;伊尔卡·尼梅尔 三 2008 使用普通程序的答案集解算器实现有序析取。 兹比尔1013.68060 格哈德·布鲁卡;伊尔卡·尼梅尔;托米·西尔贾宁 三 2002 BMC通过现场测定。 Zbl 1271.68138号 托尼·尤西拉;凯乔·赫尔扬科;伊尔卡·尼梅尔 三 2003 人工智能中的逻辑。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。 Zbl 1196.68010号 三 2010 在答案集程序转换中应用可见的强等价性。 Zbl 1357.68037号 汤米·詹胡宁;伊尔卡·尼梅尔 三 2012 基于模块的多语言约束建模框架。 兹比尔1258.68136 马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔 三 2009 作为非单调推理的统一基础的自认知逻辑。 Zbl 0840.03020号 伊尔卡·尼梅尔 2 1993 关于分层对非单调推理复杂性的影响。 Zbl 0820.03013号 伊尔卡·尼梅尔;尤西·林塔南 2 1994 回答集合编程,没有未经批准的否定。 Zbl 1185.68172号 伊尔卡·尼梅尔 2 2008 一种用于布尔电路可满足性检查的高效表绘制方法。 Zbl 0983.68176号 汤米·A·琼蒂拉。;伊尔卡·尼梅尔 2 2000 用于基准等价推理技术的难满足子句集。 Zbl 1116.68084号 哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔 2 2006 用稳定模型检验有界ITL模型。 Zbl 1007.68515号 凯乔·赫尔扬科;伊尔卡·尼梅尔 2 2001 一种基于自认知推理的非单调推理决策方法。 Zbl 0826.03007号 伊尔卡·尼梅尔 2 1995 冲突驱动的XOR子句学习。 Zbl 1273.68322号 泰罗·莱廷;汤米·琼蒂拉;伊尔卡·尼梅尔 2 2012 利用奇偶推理扩展子句学习DPLL。 Zbl 1211.68385号 泰罗·莱廷;汤米·琼蒂拉;伊尔卡·尼梅尔 2 2010 逻辑编程和非单调推理。第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日。诉讼程序。 Zbl 1120.68006号 1 2004 一种在自认知推理中削弱消极自省的方案。 Zbl 0793.68145号 汤米·詹胡宁;伊尔卡·尼梅尔 1 1993 对随机搜索的搜索空间进行分区。 Zbl 1230.68180号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 1 2011 答案集编程:解决搜索问题的声明性方法。 Zbl 1152.68415号 伊尔卡·尼梅尔 1 2006 将学习纳入基于网格的随机SAT求解。 Zbl 1169.68603号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 1 2008 逻辑编程。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。 Zbl 1129.68002号 1 2007 在答案集程序转换中应用可见强等价。 Zbl 1502.68059号 乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔 1 2020 关于测试答案集程序。 Zbl 1211.68383号 汤米·詹胡宁;伊尔卡·尼梅尔;Johannes Oetsch;约格·普勒;汉斯·托姆皮茨 1 2010 具有抽象约束原子的逻辑程序的强等价性。 Zbl 1327.68067号 刘国华;兰迪·戈贝尔;汤米·詹胡宁;伊尔卡·尼梅尔;你,嘉慧 1 2011 在答案集程序转换中应用可见的强等价性。 Zbl 1502.68059号 乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔 1 2020 基于SMT的定时系统归纳方法。 Zbl 1374.68293号 罗兰·金德曼;汤米·琼蒂拉;伊尔卡·尼梅尔 9 2012 通过降低SAT来解决平价游戏。 Zbl 1279.68211号 凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 4 2012 在答案集程序转换中应用可见的强等价性。 Zbl 1357.68037号 汤米·詹胡宁;伊尔卡·尼梅尔 三 2012 冲突驱动的XOR子句学习。 Zbl 1273.68322号 泰罗·莱蒂宁;汤米·琼蒂拉;伊尔卡·尼梅尔 2 2012 非析取答案集程序到命题子句的紧凑翻译。 Zbl 1326.68058号 汤米·詹胡宁;伊尔卡·尼梅尔 12 2011 对随机搜索的搜索空间进行分区。 Zbl 1230.68180号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 1 2011 具有抽象约束原子的逻辑程序的强等价性。 Zbl 1327.68067号 刘国华;兰迪·戈贝尔;汤米·詹胡宁;伊尔卡·尼梅尔;你,嘉慧 1 2011 为分布式解决划分SAT实例。 Zbl 1306.68146号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 4 2010 人工智能中的逻辑。第十二届欧洲会议,JELIA 2010,芬兰赫尔辛基,2010年9月13-15日。诉讼程序。 Zbl 1196.68010号 三 2010 利用奇偶推理扩展子句学习DPLL。 Zbl 1211.68385号 泰罗·莱廷;汤米·琼蒂拉;伊尔卡·尼梅尔 2 2010 关于测试答案集程序。 Zbl 1211.68383号 汤米·詹胡宁;伊尔卡·尼梅尔;Johannes Oetsch;约格·普勒;汉斯·托姆皮茨 1 2010 通过差分逻辑约简计算稳定模型。 兹比尔1258.68030 汤米·詹胡宁;伊尔卡·尼梅尔;马克·塞瓦列夫 10 2009 将子句学习纳入基于网格的随机SAT求解中。 Zbl 1190.68055号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 5 2009 基于模块的多语言约束建模框架。 Zbl 1258.68136号 马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔 三 2009 具有单调抽象约束原子的逻辑程序。 Zbl 1142.68018号 维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 14 2008 稳定的模型和差异逻辑。 Zbl 1165.68338号 伊尔卡·尼梅尔 9 2008 结构分支对小句学习SAT解题效率的影响:一项实验研究。 Zbl 1162.68655号 马蒂·Järvisalo;伊尔卡·尼梅尔 三 2008 回答集合编程,没有未经批准的否定。 Zbl 1185.68172号 伊尔卡·尼梅尔 2 2008 将学习纳入基于网格的随机SAT求解。 Zbl 1169.68603号 安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 1 2008 逻辑编程。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。 Zbl 1129.68002号 1 2007 在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号 汤米·詹胡宁;伊尔卡·尼梅尔;迪特马尔·塞佩尔;帕特里克·西蒙斯;你,嘉慧 26 2006 作为可满足性的计划:计划搜索的并行计划和算法。 Zbl 1131.68099号 尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔 22 2006 用于基准等价推理技术的难满足子句集。 Zbl 1116.68084号 哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔 2 2006 答案集编程:一种解决搜索问题的声明性方法。 Zbl 1152.68415号 伊尔卡·尼梅尔 1 2006 布尔电路表方法中的无限制切割与限制切割。 Zbl 1086.03048号 马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 7 2005 经典规划的并行编码作为可满足性。 Zbl 1111.68660号 尤西·林塔南;凯乔·赫尔扬科;伊尔卡·尼梅尔 7 2004 GNT–析取逻辑程序的求解器。 Zbl 1122.68372号 汤米·詹胡宁;伊尔卡·尼梅尔 4 2004 具有单调基数原子的逻辑程序。 兹比尔1122.68380 维克多·马雷克。;伊尔卡·尼梅尔;特鲁什琴斯基,米洛斯奥 三 2004 逻辑编程和非单调推理。第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日。诉讼程序。 Zbl 1120.68006号 1 2004 用稳定模型检验有界LTL模型。 Zbl 1079.68058号 凯乔·赫尔扬科;伊尔卡·尼梅尔 11 2003 BMC通过现场测定。 Zbl 1271.68138号 托尼·尤西拉;凯乔·赫尔扬科;伊尔卡·尼梅尔 三 2003 扩展和实现稳定的模型语义。 Zbl 0995.68021号 帕特里克·西蒙斯;伊尔卡·尼梅尔;蒂莫·索尼宁 157 2002 使用普通程序的答案集解算器实现有序析取。 Zbl 1013.68060号 格哈德·布鲁卡;伊尔卡·尼梅尔;托米·西尔贾宁 三 2002 Smodels系统。 Zbl 1010.68797号 托米·西尔贾宁;伊尔卡·尼梅尔 19 2001 非单调推理:面向高效计算和实现。 Zbl 0991.03036号 尤尔根·迪克斯;乌尔里希·富巴赫;伊尔卡·尼梅尔 8 2001 关于静态语义和析取语义的等价性及其计算。 Zbl 0973.68132号 黄铜,S。;J.迪克斯。;尼美拉,I。;Przymusinski,T.C。 4 2001 用稳定模型检验有界ITL模型。 Zbl 1007.68515号 凯乔·赫尔扬科;伊尔卡·尼梅尔 2 2001 使用基数和权重约束扩展Smodels系统。 兹比尔0979.68015 伊尔卡·尼梅尔;帕特里克·西蒙斯 21 2000 提出一种布尔电路可满足性检查的有效表方法。 Zbl 0983.68176号 汤米·A·琼蒂拉。;伊尔卡·尼梅尔 2 2000 具有稳定模型语义的逻辑程序作为约束编程范式。 Zbl 0940.68018号 伊尔卡·尼梅尔 166 1999 权重约束规则的稳定模型语义。 Zbl 0952.68029号 伊尔卡·尼梅尔;帕特里克·西蒙斯;蒂莫·索尼宁 20 1999 超级舞台。 Zbl 1427.03031号 彼得·鲍姆加特纳;乌尔里希·富巴赫;伊尔卡·尼梅尔 24 1996 用于最小模型推理的表格演算。 Zbl 1412.68247号 伊尔卡·尼梅尔 12 1996 一种基于自认知推理的非单调推理决策方法。 Zbl 0826.03007号 伊尔卡·尼梅尔 2 1995 关于分层对非单调推理复杂性的影响。 Zbl 0820.03013号 伊尔卡·尼梅尔;尤西·林塔南 2 1994 作为非单调推理的统一基础的自认知逻辑。 Zbl 0840.03020号 伊尔卡·尼梅尔 2 1993 一种在自认知推理中削弱消极自省的方案。 兹伯利0793.68145 汤米·詹胡宁;伊尔卡·尼梅尔 1 1993 关于自认知推理的可判定性和复杂性。 Zbl 0769.68111号 Niemelä,Ilkka N.F。 4 1992 走向自动认知推理。 Zbl 0789.68130号 伊尔卡·尼梅尔 5 1991 建构性的紧密扎根的自认知推理。 Zbl 0747.68087号 Niemelä,Ilkka N.F。 4 1991 自认知逻辑的决策过程。 Zbl 0658.03009号 伊尔卡·尼梅尔 6 1988 所有引用出版物 前5名被引用出版物 全部的 前5名577位作者引用 33 托尔斯滕·绍布(Torsten H.Schaub)。 24 马丁·格布瑟 21 佩德罗·卡巴拉尔 21 托马斯·艾特 18 汤米·詹胡宁 17 尼古拉·利昂 16 豪尔赫·范丁诺 16 弗朗西斯科·里卡 15 马里奥·阿尔维亚诺 15 尤利亚·利勒 15 马可·马拉提亚 14 卡明·多达罗 14 沃尔夫冈·费伯 12 埃斯拉·埃尔登 12 斯特凡·沃尔特兰 11 弗拉基米尔·利夫希茨 11 儿子Tran Cao 11 你,嘉慧 10 迈克尔·盖尔芬德 10 Niemelä,Ilkka N.F。 10 恩里科·蓬泰利 9 杰弗里·布赖恩·雷梅尔 9 特鲁什琴斯基,米洛斯奥 8 彼得·鲍姆加特纳 8 迈克尔·芬克 8 罗兰·卡明斯基 8 本杰明·考夫曼 8 林方珍 8 吉尔伯托·佩雷斯 8 康塞普西翁·维达尔 7 费利西达·阿瓜多 7 巴特·博加特 7 弗朗西斯科·卡利默里 7 亚历山德罗·西马蒂 7 马蒂·Järvisalo 7 Lee,Joohyng先生 7 V.Wiktor马雷克 7 哈维尔·罗梅罗 7 沈一东 6 乔瓦尼·阿蒙多拉 6 马克·德内克 6 恩里科·金西格里亚 6 阿尔贝托·格里乔 6 托马斯·克伦瓦尔纳 6 张燕 6 周毅 5 尤尔根·迪克斯 5 约翰·克劳斯·费希特 5 安德烈亚·福米萨诺 5 乔瓦姆巴蒂斯塔·伊安尼 5 奥斯特罗夫斯基,马克斯 5 西蒙娜·佩里 5 克里斯托夫·雷德尔 5 彼得·舒勒 5 斯特凡诺·托内塔 5 袁丽燕 4 马塞洛·巴尔杜奇尼 4 奇塔·R·巴拉尔。 4 皮耶罗·安德里亚·博纳蒂 4 马可·卡多利 4 斯特凡妮娅·科斯坦蒂尼 4 马丁·迪盖兹 4 劳伦特·加西亚 4 格奥尔格·戈特洛布 4 吉安路易吉·格雷科 4 塞尔吉奥·格雷科 4 井上,Katsumi 4 法比奥·马萨奇 4 沃尔坎州帕托格鲁 4 杰拉尔德·菲弗 4 尤西·林塔南 4 恰基萨卡马 4 泽尼普·戈岑·萨里巴特 4 斯泽德,斯特凡 4 汉斯·托姆皮茨 4 阿古斯丁,巴尔韦德 4 约翰·彼得·沃纳 4 菲利普·旺科 三 穆苏诺里·班巴拉 三 雷切尔·本·埃利亚胡·佐哈里 三 奥拉夫·拜尔斯多夫 三 乔里·博曼森 三 玛丽亚·保拉(Maria Paola Bonacina) 三 格哈德·布鲁卡 三 詹姆斯·德尔格兰德。 三 阿戈斯蒂诺·多维尔 三 乌尔里希·富巴赫 三 劳拉·佐丹奴 三 凯乔·赫尔扬科 三 伊恩·霍洛克斯 三 汤米·A·琼蒂拉。 三 克莱尔·莱夫雷 三 恩里科·马格纳戈 三 托尼·曼奇尼 三 阿尔贝托·马泰利 三 迈克尔·莫拉克 三 塞尔吉奥·莫弗 三 路易吉·帕洛波利 三 尼古拉斯·佩尔蒂埃 三 塞巴斯蒂安·谢尔霍恩 …还有477位作者 全部的 前5名39篇连载文章中引用 111 逻辑程序设计理论与实践 79 人工智能 31 数学与人工智能年鉴 9 理论计算机科学 9 自动推理杂志 7 约束条件 6 国际近似推理杂志 6 ACM计算逻辑事务 4 计算机与系统科学杂志 4 符号计算杂志 4 应用非经典逻辑杂志 三 离散应用数学 三 系统设计中的形式化方法 三 应用逻辑杂志 2 逻辑研究 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 数学逻辑档案 1 信息学报 1 信息处理信件 1 模糊集与系统 1 哲学逻辑杂志 1 编程和计算机软件 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 计算机程序设计科学 1 计算机科学与技术杂志 1 AI通信 1 运筹学年鉴 1 机器学习 1 设计、代码和密码 1 人工智能研究杂志 1 托波伊 1 优化方法和软件 1 数据挖掘与知识发现 1 计算机基础理论 1 可满足性、布尔建模与计算杂志 1 电子统计学杂志 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 1 统计与计算 全部的 前5名在13个字段中引用 432 计算机科学(68至XX) 77 数学逻辑和基础(03-XX) 13 运筹学、数学规划(90-XX) 9 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 生物学和其他自然科学(92-XX) 5 统计学(62-XX) 4 组合数学(05-XX) 2 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 凸和离散几何(52至XX) 1 概率论与随机过程(60-XX) 1 系统论;控制(93至XX) 按年份列出的引文