共 50 条
- [31] 12th international conference on interactive theorem proving Leibniz International Proceedings in Informatics, LIPIcs, 2021, 193
- [33] Summary of the 12th International Histocompatibility Workshop and Conference HLA - GENETIC DIVERSITY OF HLA FUNCTIONAL AND MEDICAL IMPLICATION, PROCEEDINGS OF THE TWELFTH INTERNATIONAL HISTOCOMPATIBILITY WORKSHOP AND CONFERENCE (12TH IHWC), VOL II: CONFERENCE, 1997, : 98 - 103
- [35] 12TH INTERNATIONAL PETROLEUM CONFERENCE IN HOUSTON, 1987 CHEMISCHE TECHNIK, 1988, 40 (02): : 95 - 97