共 50 条
- [3] UNDECIDABLE CLASS OF KRIM FORMULAS WITH ONLY ONE PREDICATE SYMBOL [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A21 - A21
- [8] CHEBYCHEVIAN FIELDS, A CLASS OF SOLVABLE FIELDS [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 282 (17): : 947 - 949
- [9] UNDECIDABLE ... OF COURSE [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1982, 1 (06): : 519 - 521
- [10] Heuristics for the Undecidable [J]. SHE JI-THE JOURNAL OF DESIGN ECONOMICS AND INNOVATION, 2019, 5 (04) : 379 - 382