×
作者ID: 阮籍“阮籍”最近发表的zbMATH文章
发布日期: 阮,季;J.阮。
已编制索引的文档: 9出版物自1994年以来
合著者: 9合著者具有8联合出版物
369名合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用4339文件 引用人 年份
动作仿真。 Zbl 1274.03030号
van Eijck,简;阮,季;托马斯·萨齐克
12
2012
模型检查俄罗斯卡。 Zbl 1273.68245号
van Ditmarsch,H.P。;范德霍克,W。;范德梅登,R。;J.阮。
11
2006
连接动态认知逻辑和时间认知逻辑。 Zbl 1285.03008号
汉斯·范·迪特马什;范德霍克,威比;阮吉
9
2013
动态认知逻辑中的和和积。 Zbl 1150.03005号
van Ditmarsch,H.P。;J.阮。;R·韦尔布鲁奇。
7
2008
用游戏描述语言验证游戏。 Zbl 1185.68678号
阮,季;范德霍克,威比;迈克尔·伍尔德里奇
2
2009
游戏描述语言GDL-II的战略和认知推理。 Zbl 1327.68282号
阮吉;迈克尔·泰尔舍尔
2
2012
费米子的玻色结构。 Zbl 1015.81524号
J.阮。;克鲁瑟,R.J。
1
1994
连接动态认知逻辑和时间认知逻辑。 Zbl 1285.03008号
汉斯·范·迪特马什;范德霍克,威比;阮,季
9
2013
动作仿真。 Zbl 1274.03030号
van Eijck,简;阮吉;托马斯·萨齐克
12
2012
游戏描述语言GDL-II的战略和认知推理。 Zbl 1327.68282号
阮,季;迈克尔·泰尔舍尔
2
2012
用游戏描述语言验证游戏。 Zbl 1185.68678号
阮,季;范德霍克,威比;迈克尔·伍尔德里奇
2
2009
动态认知逻辑中的和和积。 Zbl 1150.03005号
van Ditmarsch,H.P。;J.阮。;R·韦尔布鲁奇。
7
2008
模型检查俄罗斯卡。 Zbl 1273.68245号
van Ditmarsch,H.P。;范德霍克,W。;范德梅登,R。;J.阮。
11
2006
费米子的玻色结构。 Zbl 1015.81524号
J.阮。;克鲁瑟,R.J。
1
1994

按年份列出的引文