Selected Extended Papers of NFM 2016: Preface
- 期刊名称Journal of Automated Reasoning
- 作者Muñoz, César A.; Rayadurgam, Sanjai; Tkachuk, Oksana
- 卷第60卷
- 期第1期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小273.33KB
- 发表时间2018-1
- DOI10.1007/s10817-017-9425-5
- 页码1-2
Eosinophilic Esophagitis: Current TreatmentRedd, Matthew; Schey, Ron · Digestive Diseases and Sciences · 2013
Hilar Cholangiocarcinoma: No Longer HopelessRosen, Charles B. · Digestive Diseases and Sciences · 2014
Radiating Disparity in IBDFlasar, Mark; Patil, Seema · Digestive Diseases and Sciences · 2014
Acknowledgment of 2013 ReviewersBull, Larry · Digestive Diseases and Sciences · 2014
An Illness Without Geographic BoundariesPrice, Leslie; Glass, Joseph; Gavin, Michael · Digestive Diseases and Sciences · 2014
Bringing the Bacon HomeKaunitz, Jonathan D. · Digestive Diseases and Sciences · 2013
Meditations on Bowel PrepsBelsey, Jonathan · Digestive Diseases and Sciences · 2013
GRG Update: DDW 2013Grady, William M. · Digestive Diseases and Sciences · 2013