AIP Conference Proceedings [Author(s) MATERIALS SCIENCE, ENERGY TECHNOLOGY, AND POWER ENGINEERING I: 1st International Conference on Materials Science, Energy Technology, Power Engineering (MEP 2017) - Hangzhou, China (15–16 April 2017)] - Second-order type theory for first-class environment
Nishizaki, Shin-yaVolume:
1839
Year:
2017
Language:
english
DOI:
10.1063/1.4982508
File:
PDF, 1.38 MB
english, 2017