Drug Interaction Ontology (DIO) an the Resource-Sensitive Logical Inferences
Drug Interaction Ontology (DIO) an the Resource-Sensitive Logical Inferences
复制标题
药物相互作用本体论（DIO）和资源敏感的逻辑推理
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Akihiko Konagaya
中科院分区：
文献类型：
--
作者：
Mitsuhiro Okada;Yutaro Sugimoto;Sumi Yoshikawa;Akihiko Konagaya
登录
查看更多内容
DOI：
--
发表时间：
1991
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. S. Hodas;D. Miller
通讯作者：
D. Miller
DIO：药物相互作用本体论 - 在可能的药物-药物相互作用的推论中的应用
DOI：
--
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Sumi Yoshikawa;A. Konagaya
通讯作者：
A. Konagaya
DOI：
10.2969/msjmemoirs/00201c070
发表时间：
1998
期刊：
--
影响因子：
--
作者：
M. Okada
通讯作者：
M. Okada
类型和证明理论
DOI：
10.2969/msjmemoirs/002010000
发表时间：
1998
期刊：
--
影响因子：
--
作者：
M. Takahashi;M. Okada;M. Dezani
通讯作者：
M. Dezani
线性逻辑的进展
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
J. Girard;Y. Lafont;L. Regnier
通讯作者：
L. Regnier