A Cyclic Proof System for HFL_N
A Cyclic Proof System for HFL_N
复制标题
HFL_N的循环证明系统
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
and Naoki Kobayashi
中科院分区：
文献类型：
--
作者：
Mayuko Kori;Takeshi Tsukada;and Naoki Kobayashi
登录
查看更多内容
伊伐布雷定（一种直接窦房结抑制剂）对健康志愿者心率影响的药代动力学-药效学模型
DOI：
--
发表时间：
1998
期刊：
Clinical pharmacology and therapy
影响因子：
--
作者：
Isabelle Ragueneau;C. Laveille;R. Jochemsen;G. Resplandy;C. Funck;P. Jaillon
通讯作者：
P. Jaillon
影响因子：
7.7
作者：
Naumova, EN;Must, A;Laird, NM
通讯作者：
Laird, NM
影响因子：
5.5
作者：
Ingram, SL;Williams, JT
通讯作者：
Williams, JT
影响因子：
7.4
作者：
Tuttle, Alexander H.;Tohyama, Sarasa;Mogil, Jeffrey S.
通讯作者：
Mogil, Jeffrey S.
影响因子：
4
作者：
Tan, G;Jensen, MP;Shanti, BF
通讯作者：
Shanti, BF