Martin Peim-作者简介-zbMATH Open

编辑配置文件

马丁·佩姆

合著者距离

作者ID：	佩姆·马丁
发布日期：	马丁·佩姆

ACM计算逻辑事务

1	数学逻辑和基础（03-XX）
1	计算机科学（68至XX）

所有引用出版物前5名被引用出版物

1出版物有被引用36中的次34文件	引用人▼	年份▼
子句时间分辨率。 Zbl 1365.03017号迈克尔·费希尔;克莱尔·狄克逊;马丁·佩姆	36	2001
子句时间分辨率。 Zbl 1365.03017号迈克尔·费希尔;克莱尔·狄克逊;马丁·佩姆	36	2001

所有引用出版物前5名被引用出版物

11	克莱尔·狄克逊
6	迈克尔·费希尔
6	乌尔里希·赫斯塔特
三	弗拉迪斯拉夫·里日科夫
三	维克托·舒潘
三	迈克尔·维克托洛维奇（Michael Viktorovich）
2	罗马斯·阿隆德里斯
2	亚历山德罗·阿塔尔
2	亚历山大·博洛托夫
2	哈洛达斯·吉德拉
2	诺里希罗·卡米德
2	罗马人孔查科夫
2	李建文
2	Cláudia Nalon
2	Pu，葛光
2	莫西·亚亚科夫·瓦尔迪
2	张，兰
2	张丽君
2	朱淑芳
1	彼得罗·阿巴特
1	马尔科·阿尔贝蒂
1	阿卜杜勒卡德·贝登纳
1	安东尼奥·考伊
1	塞里托、塞雷内拉
1	费德里科·切萨尼
1	玛尔塔·西亚尔达·梅耶尔
1	安纳托利·伊万诺维奇·德吉亚列夫
1	迈克尔·德克蒂亚。
1	罗伯特·德莫洛姆
1	亚历山大·雅科夫列维奇·迪科夫斯基
1	玛丽·卡门·费尔南德斯·加戈
1	马可·加瓦内利
1	拉杰夫·普拉巴卡尔·戈尔
1	弗朗西斯科·吉尔
1	何继峰
1	海尔格·贾尼克
1	Jose M.Juarez。
1	鲍里斯·科涅夫
1	萨瓦斯·科努尔
1	科夫图诺娃，Alisa
1	阿吉·库鲁茨
1	伊芙琳娜·拉姆
1	米歇尔·路德维希
1	Roque L.Marín。
1	阿恩·梅尔
1	保罗·梅洛
1	马可·蒙塔利
1	本·C·莫斯科夫斯基。
1	塞巴斯蒂安·奥德尼亚克
1	艾达，普留什凯维奇
1	普利乌什凯维奇乌斯，里贾曼塔斯
1	拉马努扬，M.S。
1	尤里·萨瓦提夫
1	艾伦娜·辛德勒
1	雷娜特·施密特（Renate A.Schmidt）。
1	苏达，马丁
1	保罗·托罗尼
1	Mars K·瓦利耶夫。
1	范德霍克，威比
1	弗洛里安·维德曼
1	弗兰克·沃尔特

2	人工智能
2	理论计算机科学
2	纯逻辑与应用逻辑年鉴
2	自动推理杂志
2	系统设计中的形式化方法
2	应用非经典逻辑杂志
2	ACM计算逻辑事务
1	信息学报
1	模糊集与系统
1	Studia Logica公司
1	计算机程序设计科学
1	算法
1	信息与计算
1	计算的形式方面
1	人工智能研究杂志
1	应用逻辑杂志
1	计算机科学中的数学
1	国际智能计算与控制论杂志
1	计算机科学前沿
1	Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A