共 7 条
- [1] Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
- [2] DECISION-PROBLEMS OF SOME STATISTICALLY MOTIVATED MONADIC MODAL CALCULI [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1981, 15 (03): : 351 - 358
- [3] HAJEK P, 1978, MECHANIZED HYPOTHESI
- [4] FORMAL SYSTEMS FOR MECHANIZED STATISTICAL-INFERENCE [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1981, 15 (03): : 333 - 350
- [5] Karp R. M., 1972, COMPLEXITY COMPUTER
- [6] Pudlak P., 1979, Theoretical Computer Science, V8, P203, DOI 10.1016/0304-3975(79)90045-8
- [7] SPRINGSTEEL F, 1977, U KAISERSLAUTERN INF, V14, P504