共 50 条
- [1] Applications of automated reasoning [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
- [3] Empirically Successful Automated Reasoning: Applications Issue [J]. Journal of Automated Reasoning, 2006, 37 : 1 - 1
- [4] The char-set method and its applications to automated reasoning [J]. AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 1 - 3
- [7] AN OVERVIEW OF AUTOMATED REASONING [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
- [8] The flowering of automated reasoning [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 204 - 227