共 50 条
- [21] Martin-Löf identity types in C-systems Publications mathématiques de l'IHÉS, 2023, 138 : 1 - 67
- [22] Martin-Lof identity types in C-systems PUBLICATIONS MATHEMATIQUES DE L IHES, 2023, 138 (01): : 1 - 67
- [25] Online collaboration (New online tools unveiled at A/E/C-Systems promise to streamline teamwork between architects and their consultants) ARCHITECTURE, 1999, 88 (08): : 113 - 115
- [29] PHOTODISSOCIATION OF VIBRATIONALLY EXCITED H-2 BY ABSORPTION INTO THE CONTINUA OF B-SYSTEMS, C-SYSTEMS, AND B'-SYSTEMS PHYSICAL REVIEW A, 1986, 33 (01): : 342 - 345