共 50 条
- [33] SCL(EQ): SCL for First-Order Logic with Equality AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 228 - 247
- [35] COOLDOWN PERFORMANCE CAPABILITY OF ATMOSPHERIC STEAM DUMP SYSTEM NUCLEAR SAFETY, 1983, 24 (04): : 471 - 484
- [36] First operation of the XFEL linac with the 2 K cryogenic system ADVANCES IN CRYOGENIC ENGINEERING, 2017, 278
- [37] ON THE REACTION OF METAL-OXIDES IN THE SYSTEM SCL2-CL2 - COMPOUNDS WITH SCL3+-CATIONS ZEITSCHRIFT FUR CHEMIE, 1981, 21 (01): : 38 - 39
- [38] THE SFDL SCL SIMULATION SYSTEM COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1986, 5 (03): : 265 - 283
- [39] The XRS system - the first cryogenic X-ray detector in orbit NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1999, 436 (1-2): : 212 - 217
- [40] Performance of the RHIC cryogenic control system during the first sextant test ADVANCES IN CRYOGENIC ENGINEERING, VOL 43 PTS A AND B, 1998, 43 : 523 - 529