共 50 条
- [42] LANGUAGE OF FORMAL ARCHITECTURE ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1979, 6 (03): : 269 - 278
- [44] Fundamental Formal Language COMPUTATIONAL COLLECTIVE INTELLIGENCE, ICCCI 2022, 2022, 13501 : 410 - 422
- [48] ETPS: A System to Help Students Write Formal Proofs Journal of Automated Reasoning, 2004, 32 : 75 - 92