共 50 条
- [41] GAUSSIAN-TYPE FUNCTIONS FOR POLYATOMIC SYSTEMS .2. JOURNAL OF CHEMICAL PHYSICS, 1969, 50 (03): : 1371 - &
- [42] GAUSSIAN-TYPE FUNCTIONS FOR POLYATOMIC SYSTEMS .3. JOURNAL OF CHEMICAL PHYSICS, 1970, 52 (05): : 2224 - &
- [43] GAUSSIAN-TYPE FUNCTIONS FOR POLYATOMIC SYSTEMS .4. JOURNAL OF CHEMICAL PHYSICS, 1970, 53 (01): : 348 - &
- [47] Equality is typable in Semi-Full Pure Type Systems 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 21 - 30
- [48] CERTAIN SYSTEMS OF MIXED TYPE DIFFERENTIAL EQUATIONS DOKLADY AKADEMII NAUK SSSR, 1962, 144 (04): : 709 - &
- [49] CERTAIN LAX TYPE DIFFERENTIAL-SYSTEMS MATEMATICA APLICADA E COMPUTACIONAL, 1990, 9 (03): : 179 - 194