Annals of Computer Science and Information Systems [IEEE 2015 Federated Conference on Computer Science and Information Systems - (2015.9.13-2015.9.16)] Proceedings of the 2015 Federated Conference on Computer Science and Information Systems - Equality in computer proof-assistants
- 作者Grabowski, Adam; Kornilowicz, Artur; Schwarzweller, Christoph
- 卷第5卷
- 印刷ISSN2300-5963
- 文件大小161.27KB
- 发表时间2015
- DOI10.15439/2015F229
- 页码45-54
Stresses at the cervical lesion of maxillary premolar—a finite element investigationH.E. Lee; C.L. Lin; C.H. Wang; C.H. Cheng; C.H. Chang · 2002
Quantum tunneling via quantum geometric phaseZ.S. Wang; L.C. Kwek; C.H. Lai; C.H. Oh · 2006
Configuration and conformation of a cyclopropane peptideK.I. VARUGHESE; C.H. WANG; H. KIMURA; C.H. STAMMER · 1988
Geometric phase induced by quantum nonlocalityZ.S. Wang; Chunfeng Wu; Xun-Li Feng; L.C. Kwek; C.H. Lai; C.H. Oh; V. Vedral · 2008
Synthesis, structure, and properties of molybdenum octahedral d6. bis(alkyne) complexesC.H. Lai; C.H. Cheng; C.Y. Cheng; S.L. Wang · 1993
Facile synthesis of Bi2S3 network nanostructureC.J. Tang; J.F. Su; Q.B. Hu; Y.X. Yang; C.Q. Wang; C.H. Zhao; C.H. Zang; Y.S. Zhang · 2011
The e/a criterion of Zr-based bulk metallic glassesY.M. Wang; W.P. Xu; J.B. Qiang; C.H. Wong; C.H. Shek; C. Dong · 2004
Modeling of the gate leakage current reduction in MOSFET with ultra-thin nitrided gate oxideC.W. Yang; Y.K. Fang; S.F. Ting; C.H. Chen; W.D. Wang; T.Y. Lin; M.F. Wang; M.C. Yu; C.L. Chen; L.G. Yao; S.C. Chen; C.H. Yu; M.S. Liang · 2003