×

曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos)

作者ID: 细鳞蝠鲼“Mantadelis,Theofrastos”最近发表的zbMATH文章
发布方式: 曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos)
外部链接: ORCID公司
已编制索引的文档: 8出版物自2010年起
合著者: 10位合著者具有8联合出版物
272合著作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用19中的次16文件 引用人 年份
概率设置专用表格。 Zbl 1237.68190号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);杰尔达·詹森斯
7
2010
概率一阶逻辑推理的ProbLog技术。 Zbl 1211.68398号
莫里斯·布鲁诺;曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);安吉丽卡·基米格;伯恩德·古特曼;Joost Vennekens;杰尔达·詹森斯;吕克·德·雷德
2010
制表,合理的术语,和最后一起创造! Zbl 1307.68019号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;保罗·莫拉
2014
在概率上下文中预处理BDD的布尔公式。 Zbl 1306.68055号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;安吉丽卡·基米格;杰尔达·詹森斯
2
2010
概率抽象论证框架,一种可能的世界观。 Zbl 1434.68558号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);斯特凡诺·比斯塔雷利
2
2020
ProbLog中的变量压缩。 Zbl 1306.68010号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);杰尔达·詹森斯
1
2010
一种可能的世界观和星座语义的标准形式。 Zbl 1525.68150号
斯特凡诺·比斯塔雷利;曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos)
1
2019
概率抽象论证框架,一种可能的世界观。 Zbl 1434.68558号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);斯特凡诺·比斯塔雷利
2
2020
一种可能的世界观和星座语义的标准形式。 Zbl 1525.68150号
斯特凡诺·比斯塔雷利;曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos)
1
2019
制表,合理的术语,和最后一起创造! Zbl 1307.68019号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;保罗·莫拉
2014
概率设置专用表格。 Zbl 1237.68190号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);杰尔达·詹森斯
7
2010
概率一阶逻辑推理的ProbLog技术。 Zbl 1211.68398号
莫里斯·布鲁诺;曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);安吉丽卡·基米格;伯恩德·古特曼;Joost Vennekens;杰尔达·詹森斯;吕克·德·雷德
2010
在概率上下文中预处理BDD的布尔公式。 Zbl 1306.68055号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);里卡多·罗查;安吉丽卡·基米格;杰尔达·詹森斯
2
2010
ProbLog中的变量压缩。 Zbl 1306.68010号
曼塔代利斯(Mantadelis)、西奥弗拉斯托斯(Theofrastos);杰尔达·詹森斯
1
2010

按年份列出的引文