共 50 条
- [21] LOGICAL FORM, PERSPICUITY, AND 1ST-ORDER LANGUAGES JOURNAL OF PHILOSOPHY, 1977, 74 (10): : 627 - 628
- [25] A NORMAL-FORM FOR 1ST-ORDER TEMPORAL FORMULAS LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 370 - 384
- [26] THE INVESTIGATION OF DENSITY-MATRIX PROPERTIES FOR SATURATED MOLECULES JOURNAL OF MOLECULAR STRUCTURE-THEOCHEM, 1989, 60 : 49 - 57
- [28] ASYMPTOTIC SOLUTIONS OF HAMILTONIAN-SYSTEMS WITH 1ST-ORDER RESONANCE PMM JOURNAL OF APPLIED MATHEMATICS AND MECHANICS, 1991, 55 (04): : 469 - 474
- [30] QUANTUM CHROMODYNAMICS IN THE MATRIX FORMALISM OF 1ST-ORDER EQUATIONS DOKLADY AKADEMII NAUK SSSR, 1981, 259 (01): : 69 - 72