共 50 条
- [34] FUNCTIONAL EXPLANATION AND NORMALCY SOUTHWESTERN JOURNAL OF PHILOSOPHY, 1978, 9 (01): : 45 - 53
- [36] A FUNCTIONAL EXPLANATION OF RECIDIVISM JOURNAL OF CRIMINAL LAW & CRIMINOLOGY, 1965, 56 (02): : 212 - 226
- [38] Explanation in natural language of λμμ-terms MATHEMATICAL KNOWLEDGE MANAGEMENT, 2006, 3863 : 234 - 249
- [39] Natural language proof explanation MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 342 - 363