共 50 条
- [44] Combining type theory and untyped set theory AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 205 - 219
- [49] Gradation theory of asphalt mixture aggregate based on fractal theory PROCEEDINGS OF THE 2017 5TH INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND COMPUTING TECHNOLOGY (ICMMCT 2017), 2017, 126 : 206 - 214
- [50] A dependent set theory 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 23 - +