共 50 条
- [32] SYNTHESIS AND CRYSTAL-STRUCTURES OF (PPH4)2[IN(S4)(S6)CL] AND (PPH4)2[IN(S4)CL3] [J]. ZEITSCHRIFT FUR ANORGANISCHE UND ALLGEMEINE CHEMIE, 1994, 620 (09): : 1607 - 1612
- [33] S2, S3, AND S4 FORAMINA POSITION OVERLAP PERTINENT TO SACRAL NEURO STIMULATION [J]. JOURNAL OF UROLOGY, 2013, 189 (04): : E429 - E429
- [35] Higher Singularities and the Twistor Fibration π: CP3 → S4 [J]. Geometriae Dedicata, 2000, 80 : 231 - 246
- [36] A RESOLUTION PROVER FOR S4 [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101
- [37] Higher singularities and the twistor fibration π:CP3→S4 [J]. GEOMETRIAE DEDICATA, 2000, 80 (1-3) : 231 - 245
- [39] Intuitionistic S4 is decidable [J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,