共 50 条
- [23] An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving Journal of Computer Science and Technology, 2007, 22 : 541 - 553
- [24] Foote's Law and its Application to Cameras INFRARED IMAGING SYSTEMS: DESIGN, ANALYSIS, MODELING, AND TESTING XXVII, 2016, 9820
- [28] A bound for Wilson's general theorem SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 2000, 43 (02): : 128 - 140
- [29] A bound for Wilson’s general theorem Science in China Series A: Mathematics, 2000, 43 : 128 - 140