共 50 条
- [2] DETERMINANTS OF ATRIAL (S4) AND VENTRICULAR (S3) GALLOP SOUNDS IN PRIMARY MYOCARDIAL DISEASE NEW ENGLAND JOURNAL OF MEDICINE, 1968, 278 (14): : 753 - &
- [8] A RESOLUTION PROVER FOR S4 SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101
- [9] Intuitionistic S4 is decidable 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,