共 17 条
- [1] AFRL/RYAA, 2012, MATH SENS EXPL EX MS
- [2] [Anonymous], 2001, Automated theorem proving - theory and practice
- [3] [Anonymous], 2006, P AAAI
- [4] [Anonymous], 2007, DESCRIPTION LOGIC HD, DOI DOI 10.1017/CBO9780511711787
- [5] Baader F, 2005, 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), P364
- [6] Derived operating conditions for classifier performance understanding [J]. ALGORITHMS FOR SYNTHETIC APERTURE RADAR IMAGERY XVIII, 2011, 8051
- [8] DARPA Defense Sciences Office, 2001, BROAD AG ANN MATH SE
- [9] Geman D., 2015, P NATL ACAD SCI
- [10] Gomes C.P., 2008, Handbook of Satisfiability, P633