Formalization of Kuratowski Closure Operation in Isabelle/HOL
- 期刊名称Energy Procedia
- 作者Wang, Jianlin; Chen, Liangyu; Zeng, Zhenbing
- 卷第13卷
- 印刷ISSN1876-6102
- 文件大小7.84KB
- 发表时间2011-1
- DOI10.1016/j.egypro.2011.12.535
- 页码7894-7901
Obesity: ComBATting obesitySmith, Katherine · Nature Reviews Endocrinology · 2012
Thyroid disorders in pregnancyStagnaro-Green, Alex; Pearce, Elizabeth · Nature Reviews Endocrinology · 2012
Cushing disease with pregnancyGopal, Raju A.; Acharya, Shrikrishna V.; Bandgar, Tushar R.; Menon, Padma S.; Shah, Nalini S. · Gynecological Endocrinology · 2012
Management of Cushing diseaseTritos, Nicholas A.; Biller, Beverly M. K.; Swearingen, Brooke · Nature Reviews Endocrinology · 2011
Subchorionic hemorrhage treatment with dydrogesteronePelinescu-Onciul, Dimitrie · Gynecological Endocrinology · 2007
GAMETOGENESISBaker, T. G. · European Journal of Endocrinology · 1972
Passage of Steroids Through Silicone RubberDZIUK, P. J.; COOK, B. · Endocrinology · 1966
Autoregulation of hepatic glucose productionMoore, M.; Connolly, C.; Cherrington, A. · European Journal of Endocrinology · 1998