共 50 条
- [41] Results of completeness for classes of AF2 system types RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1997, 31 (06): : 513 - 537
- [44] Proving Consistency and Completeness of Model Classes Using Theory Interpretation FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6013 : 218 - 232
- [45] BAYES SOLUTIONS OF THE STATISTICAL INVENTORY PROBLEM ANNALS OF MATHEMATICAL STATISTICS, 1959, 30 (02): : 490 - 508
- [47] BAYES SOLUTIONS OF SEQUENTIAL DECISION PROBLEMS ANNALS OF MATHEMATICAL STATISTICS, 1950, 21 (01): : 82 - 99
- [48] GENERALIZED BAYES SOLUTIONS IN ESTIMATION PROBLEMS ANNALS OF MATHEMATICAL STATISTICS, 1960, 31 (01): : 246 - 246
- [50] GENERALIZED BAYES SOLUTIONS IN ESTIMATION PROBLEMS ANNALS OF MATHEMATICAL STATISTICS, 1963, 34 (03): : 751 - &