[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1993 Volume 711 || Verifying properties of module construction in type theory
- 作者Borzyszkowski, Andrzej M.; Sokołowski, Stefan
- 文件大小615.89KB
- 发表时间1993
- DOI10.1007/3-540-57182-5_57
- 页码660-670
177: EMS Workplace Violence and Disaster Preparedness: A Safety and Readiness Survey in South East MichiganE. Bascom; M. Olmstead; R. Takla; L. Huber; A. Bascom; M. Anthroud; M. Kangas; J. Kangas; G. Bakhsh · 2007
Ice Adhesion to Hydrophilic and Hydrophobic SurfacesBascom, W. D.; Cottington, R. L.; Singleterry, C. R. · The Journal of Adhesion · 1969
The fracture of an epoxy polymer containing elastomeric modifiersW. D. Bascom; R. Y. Ting; R. J. Moulton; C. K. Riew; A. R. Siebert · 1981
The fracture of an epoxy polymer containing elastomeric modifiersW. D. Bascom; R. Y. Ting; R. J. Moulton; C. K. Riew; A. R. Siebert · 1981
Les Bassins du Niger. Y. U<span class="smallCaps">rvoyWILLIAM R. BASCOM · 1948
Book ReviewsWilliam R. Bascom · 1950
ACCULTURATION AMONG THE GULLAH NEGROESWilliam R. Bascom · 1941
Ponape: The Tradition of RetaliationWilliam R. Bascom · The Far Eastern Quarterly · 1950
A Rationale for AdaptationWaters, B. · The Bible Translator · 2011
Editor's NotePattemore, S. W. · The Bible Translator · 2006
From the EditorPattemore, S. · The Bible Translator · 2014
A Small Translation MysteryClark, D. J. · The Bible Translator · 2014
The Septuagint Text of Ezra 9.2Louy, S. D. · The Bible Translator · 2014
The Verbal Forms in Haggai 1.8-9Rogland, M. · The Bible Translator · 2014
List of UBS PublicationsThe Bible Translator · 2014
Hyperbole in Acts 10.15 and 11.9?Aplin, M. · The Bible Translator · 2013