The Derivations of Temporal Logic Formulas
- 期刊名称Formalized Mathematics
- 作者Giero, Mariusz
- 卷第20卷
- 期第3期
- 印刷ISSN1426-2630
- 电子ISSN1898-9934
- 文件大小224.21KB
- 发表时间2012-01-1
- DOI10.2478/v10037-012-0025-x
Gastrojejunal anastomosis in rats using the magnetic compression techniqueAn, Yingfeng; Zhang, Yanchao; Liu, Hao; Ma, Sijie; Fu, Shan; Lv, Yi; Yan, Xiaopeng · Scientific Reports · 2018
Magnetic compression anastomosis for the treatment of benign biliary strictures: a clinical study from ChinaLi, Yu; Sun, Hao; Yan, Xiaopeng; Wang, Shanpei; Dong, Dinghui; Liu, Xuemin; Wang, Bo; Su, Maosheng; Lv, Yi · Surgical Endoscopy · 2019
A novel magnetic compression technique for small intestinal end-to-side anastomosis in ratsMa, Feng; Ma, Jia; Ma, Sijie; Fu, Shan; Zhang, Yanchao; Liu, Hao; Lv, Yi; Wu, Rongqian; Yan, Xiaopeng · Journal of Pediatric Surgery · 2018
ReplyAsbun, Horacio J.; Stauffer, John A. · Journal of the American College of Surgeons · 2013
Laparoscopic vs Open PancreaticoduodenectomyFarid, Shahid; Morris-Stiff, Gareth · Journal of the American College of Surgeons · 2013
DiscussionJournal of the American College of Surgeons · 2013
ReplyPekolj, Juan; Alvarez, Fernando A.; Palavecino, Martin; de Santibañes, Eduardo · Journal of the American College of Surgeons · 2013
Retained Surgical SpongesDieter, Raymond A. · Journal of the American College of Surgeons · 2013
DiscussionJournal of the American College of Surgeons · 2013
Surgical Forum DedicationsJournal of the American College of Surgeons · 2013
DiscussionJournal of the American College of Surgeons · 2013