共 50 条
- [44] Toward Generating Natural-Language Explanations of Modal-Logic Proofs ARTIFICIAL GENERAL INTELLIGENCE, AGI 2022, 2023, 13539 : 220 - 230
- [48] NATURAL-LANGUAGE PROCESSING ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1989, 44 (5-6): : 301 - 316