Regenerative signals for tissue-engineered small intestine
- 作者S.S Kim; S Kaihara; M Benvenuto; R.S Choi; B-S Kim; D.J Mooney; G.A Taylor; J.P Vacanti
- 卷第31卷
- 印刷ISSN0041-1345
- 文件大小254.76KB
- 发表时间1999
- DOI10.1016/s0041-1345(98)01737-0
Contradiction separation based dynamic multi-clause synergized automated deductionXu, Yang; Liu, Jun; Chen, Shuwei; Zhong, Xiaomei; He, Xingxing · Information Sciences · 2018
[WORLD SCIENTIFIC The 11th International FLINS Conference (FLINS 2014) - João Pessoa (Paraíba), Brazil (17 – 20 August 2014)] Decision Making and Soft Computing - NON-CLAUSAL MULTI-ARY <i>α</i> -GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGICXu, Yang; Liu, Jun; He, Xingxing; Zhong, Xiaomei; Chen, Shuwei · 2014
[IEEE 2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) - Taipei, Taiwan (2015.11.24-2015.11.27)] 2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) - Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order LogicXu, Yang; Liu, Jun; He, Xingxing; Zhong, Xiaomei; Chen, Shuwei · 2015