[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Computational metatheory in Nuprl
- 作者Lusk, Ewing; Overbeek, Ross
- 文件大小1402.12KB
- 发表时间1988
- DOI10.1007/bfb0012835
- 页码238-257
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) ||Yacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Reverse Logistics Network Design for Paper RecyclingYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Properties of Particleboard from Kelempayan (Neolamarckia cadamba) WoodYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Malay Cupping Therapy: A Haematological Analysis Pilot StudyYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Effect of Inclination on Natural Convection Porous CavityYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Effect of Heat Treatment on Timbers—A ReviewYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Determination of New Bank Branch Location Using GIS ApproachYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016
Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) || Enhancement of Thermophilic (Geobacillus stearothermophilus) Cement–Sand Mortar PropertiesYacob, Nor Azizah; Mohamed, Mesliza; Megat Hanafiah, Megat Ahmad Kamal · 2016