Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2017 | Formalizing the meta-theory of first-order predicate logic | 김선영 | Article |
2017 | Surgical safety and oncological completeness of robotic thyroidectomy for thyroid carcinoma larger than 2 cm | 권형주 | Article |