共 50 条
- [33] A Novel Approach to Solve Set-Theory Word Problems Automatically 2018 ELEVENTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3), 2018, : 202 - 207
- [34] DIAGRAMS FOR SET-THEORY + PROBABILITY PROBLEMS OF 4 OR MORE VARIABLES AMERICAN STATISTICIAN, 1975, 29 (02): : 91 - 93
- [35] DUAL CONNECTION BETWEEN SOME PROBLEMS OF BASIS AND INTERPOLATION THEORY DOKLADY AKADEMII NAUK SSSR, 1974, 215 (03): : 522 - 525
- [38] SOME RESULTS IN ACZEL-FEFERMAN LOGIC AND SET-THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 269 - 276