共 50 条
- [2] AN OVERVIEW OF AUTOMATED REASONING [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
- [3] Applications of automated reasoning [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
- [4] 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
- [9] Automated Reasoning for Mathematics [J]. AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 3 - 20
- [10] Automated Reasoning and Learning for Automated Payroll Management [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 15107 - 15116