共 50 条
- [13] CoDE: A powerful prover for problems of condensed detachment AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 260 - 263
- [15] Challenges for WHO code on international recruitment BRITISH MEDICAL JOURNAL, 2010, 340 : c1486
- [16] STATISTICAL PHYSICS THEORY OF QUERY LEARNING BY AN ENSEMBLE OF HIGHER-ORDER NEURAL NETWORKS PHYSICAL REVIEW E, 1995, 52 (02): : 1953 - 1957
- [19] Ensemble neural networks Optical Memory and Neural Networks (Information Optics), 2009, 18 (04): : 295 - 303