共 50 条
- [2] How Can I Get My Paper Reviewed More Quickly? Proof, Proof, Proof! DeWitt, Christina (christina.dewitt@oregonstate.edu), 1600, Taylor and Francis Inc., 325 Chestnut St, Suite 800, Philadelphia, PA 19106, United States (27):
- [7] Graphical theories of interactive systems: Can a proof assistant help? THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 442 - 442
- [8] On the analysis of evolutionary algorithms - A proof that crossover really can help ALGORITHMS - ESA'99, 1999, 1643 : 184 - 193
- [9] The Analysis of Evolutionary Algorithms—A Proof That Crossover Really Can Help Algorithmica, 2002, 34 : 47 - 66