×
编辑配置文件（在新选项卡中打开）

杰里米·高

合著者距离
作者ID： 戈·杰里米“Gow，Jeremy”最近发表的zbMATH文章
发布日期： 杰里米·高
外部链接： MGP公司
编入索引的文档： 7出版物自1999年以来
合著者： 4位合著者具有7联合出版物
124位合作作者

合著者

0 单作者的
6 保罗·凯恩斯
1 阿兰·邦迪
1 彼得·柯林斯。
1 格林，伊恩

系列

1 自动推理杂志
1 数学与人工智能年鉴

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

三出版物有被引用6中的次6文件 引用人▼ 年份▼
在Mizar中集成搜索和创作。 邮编1129.68500
保罗·凯恩斯;杰里米·高
三
2007
使用和分析Mizar语言。 Zbl 1271.68209号
保罗·凯恩斯;杰里米·高
2
2004
关于动态呈现拓扑课程。 Zbl 1033.68734号
保罗·凯恩斯;杰里米·高;彼得·柯林斯
1
2003
在Mizar中集成搜索和创作。 邮编1129.68500
保罗·凯恩斯;杰里米·高
三
2007
使用和分析Mizar语言。 Zbl 1271.68209号
保罗·凯恩斯;杰里米·高
2
2004
关于动态呈现拓扑课程。 Zbl 1033.68734号
保罗·凯恩斯;杰里米·高;柯林斯，彼得
1
2003
所有引用出版物 前5名被引用出版物
全部的 前5名

14位作者引用

1 马可·布赖特·卡米纳蒂
1 雅克·卡雷特
1 Farmer，William M。
1 芙蓉岛、秀君
1 阿萨夫·科福里。
1 阿图尔·科尔尼·奥维茨
1 笔记本电脑，安德烈
1 中关村，Kazuhisa
1 亚当·纳莫维奇
1 拉多斯·瓦·皮利泽克
1 朱塞佩·罗索里尼
1 Shigenaka、Seigo
1 Katsumi Wasaki
1 大池山口

连载1篇

2 自动推理杂志

在2个字段中引用

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

按年份列出的引文