共 50 条
- [22] A COUNTEREXAMPLE TO A GENERALIZED ERGODIC THEOREM JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1968, 286 (03): : 258 - &
- [26] A COUNTEREXAMPLE TO THE SARD THEOREM IN INFINITE DIMENSION COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1988, 306 (01): : 37 - 41
- [28] SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization Pike, Lee (leepike@galois.com), 1600, Association for Computing Machinery (49):