共 50 条
- [41] Limited Second-Order Functionality in a First-Order Setting [J]. Journal of Automated Reasoning, 2020, 64 : 391 - 422
- [42] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A354 - A354
- [43] SECOND-ORDER ARITHMETIC AND FIRST-ORDER DEGREE THEORY [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A553 - A553
- [44] MAPPING SECOND-ORDER ACPS INTO FIRST-ORDER ACPS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A336 - A336
- [47] Foundational, First-Order, and Second-Order Classification Theory [J]. KNOWLEDGE ORGANIZATION, 2015, 42 (04): : 244 - 249
- [48] The influence of first-order information on second-order stereopsis [J]. PERCEPTION, 1999, 28 : 133 - 133
- [49] Pooling of first-order inputs in second-order vision [J]. VISION RESEARCH, 2013, 91 : 108 - 117
- [50] SECOND-ORDER RELIABILITY METHOD WITH FIRST-ORDER EFFICIENCY [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2010, VOL 1, PTS A AND B, 2010, : 973 - 984